Search for persons
X
?
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection; Lecture Notes in Computer Science ,
1
A Framework for Verifying Autonomous Robotic Agents Against..:
, In:
?
2020 Fourth IEEE International Conference on Robotic Computing (IRC) ,
2
Verifying autonomous decision making against environment as..:
, In:
?
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection; Lecture Notes in Computer Science ,
3
Formal Verification of Autonomous UAV Behavior for Inspecti..:
, In:
?
2017 International Conference on Unmanned Aircraft Systems (ICUAS) ,
4
Dancing UAVs: Using linear programming to model movement be..:
, In:
?
2017 European Conference on Mobile Robots (ECMR) ,
5