( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

, , , , и . Frontiers Robotics AI, (2021)

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.

Christa Dixon

Ditty Dixon

Lucas Dixon

Mark Dixon

Dixon Arlander

 

Другие публикации лиц с тем же именем

A Graph-Based Approach to Resolution in Temporal Logic., , и . ICTL, том 827 из Lecture Notes in Computer Science, стр. 415-429. Springer, (1994)Verifiable autonomy: From theory to applications., , и . AI Commun., 35 (4): 421-431 (2022)An Assurance-based Approach to Verification and Validation of Human-Robot Teams., , , , , , и . CoRR, (2016)Exploring the effects of environmental conditions and design choices on IoT systems using formal methods., , , , и . J. Comput. Sci., (2020)Efficient First-Order Temporal Logic for Infinite-State Systems, , , и . CoRR, (2007)On and On the Temporal Way., и . HOWARD-60, том 42 из EPiC Series in Computing, EasyChair, (2014)Analysing robot swarm behaviour via probabilistic model checking., , и . Robotics Auton. Syst., 60 (2): 199-213 (2012)Implementing Durative Actions with Failure Detection in Gwendolen., , , и . EMAS@AAMAS, том 13190 из Lecture Notes in Computer Science, стр. 332-351. Springer, (2021)Formal Verification of Probabilistic Swarm Behaviours., , и . ANTS Conference, том 6234 из Lecture Notes in Computer Science, стр. 440-447. Springer, (2010)"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours., , , , и . TAROS, том 8717 из Lecture Notes in Computer Science, стр. 97-108. Springer, (2014)