Author of the publication

Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems.

, , , , and . QRS Companion, page 301-302. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning., , , , , and . ISoLA (2), volume 12477 of Lecture Notes in Computer Science, page 507-524. Springer, (2020)Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles., , , , and . Sensors, 19 (1): 17 (2019)Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems., , , , and . QRS Companion, page 301-302. IEEE, (2016)On Structure and Distribution of Software for Mobile Manipulators., , , , and . ICINCO (Selected Papers), volume 383 of Lecture Notes in Electrical Engineering, page 209-227. Springer, (2015)Symbolic execution for a clash-free subset of ASMs., , , , and . Sci. Comput. Program., (2018)Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems., , and . ABZ, volume 14010 of Lecture Notes in Computer Science, page 70-87. Springer, (2023)Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning., , , , and . ICINCO, page 71-80. ScitePress, (2020)Towards Automated COVID-19 Presence and Severity Classification., , , , , , , , and . MIE, volume 302 of Studies in Health Technology and Informatics, page 917-921. IOS Press, (2023)Ensemble Programming for Multipotent Systems., , , , and . FAS*W@SASO/ICAC, page 104-109. IEEE, (2019)Simulating a Flash File System with CoreASM and Eclipse., , , , and . GI-Jahrestagung, volume P-192 of LNI, page 355. GI, (2011)