Search for persons
X
?
2024 IEEE 7th International Conference on Soft Robotics (RoboSoft) ,
1
Soft Gripping: Specifying for Trustworthiness:
, In:
?
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science ,
4
AERoS: Assurance of Emergent Behaviour in Autonomous Roboti..:
, In:
?
2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) ,
7
Model Checking Human-Agent Collectives for Responsible AI:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science ,
8
Engineering Collectives of Self-driving Vehicles: The SOTA ..:
, In:
?
Proceedings of the 8th International Conference on Management of Digital EcoSystems ,
10
ADSEng : a model-based methodology for autonomous digita..:
, In:
?
Proceedings of the 30th Annual ACM Symposium on Applied Computing ,
11
Monitoring and visualizing adaptation of autonomic systems ..:
, In:
?
Proceedings of the International C* Conference on Computer Science and Software Engineering ,
12