English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Open

Presents the pdf analysis as premium feature

PDF Analysis

Insights

Presents the summarisation as premium feature

Summarisation

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

In order to rigorously analyze mission plans, they have to be translated into a tractable formalism. This paper proposes to use the description logic Attributive Language with Complements and concrete Domains ALC(D) as the input formalism for a mission plan based on behavior trees. The interface is described using the safety circuit of an exemplary unmanned aerial vehicle. The system is executed using a three-degree-of-freedom simulation model. Results indicate that the system can be used as a first step towards verification of mission plans with formal methods. In a more efficient variant, the behavior tree mission plan executes sufficiently fast to be deployed in actual flight computers

Interfacing Behavior Trees with the World Using Description Logic