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 ,
2
AERoS: Assurance of Emergent Behaviour in Autonomous Roboti..:
, In:
?
2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) ,
3
Model Checking Human-Agent Collectives for Responsible AI:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science ,
4
Engineering Collectives of Self-driving Vehicles: The SOTA ..:
, In:
?
Proceedings of the 8th International Conference on Management of Digital EcoSystems ,
5
ADSEng : a model-based methodology for autonomous digita..:
, In:
?
Proceedings of the 30th Annual ACM Symposium on Applied Computing ,
6
Monitoring and visualizing adaptation of autonomic systems ..:
, In:
?
Proceedings of the International C* Conference on Computer Science and Software Engineering ,
7
SimSOTA : engineering and simulating feedback loops for ..:
, In:
?
Proceedings of the First International Symposium on Trustworthy Autonomous Systems ,
8
Trustworthy Swarms:
, In:
?
Proceedings of the 5th international conference on Pervasive services ,
9
A model-based approach for engineering pervasive services i..:
, In:
?
Proceedings of the 3rd ACM workshop on Software engineering for pervasive services ,
10