Vermaelen, Jan
25  results:
Search for persons X
?
1

Formal Verification of Autonomous UAV Behavior for Inspecti..:

, In: Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection; Lecture Notes in Computer Science,
Vermaelen, Jan ; Dinh, Hoang Tung ; Holvoet, Tom - p. 315-326 , 2020
 
?
 
1-15