Teleoperating a Legged Manipulator Through Whole-Body Control Inproceedings
In: Towards Autonomous Robotic Systems: 23rd Annual Conference, TAROS 2022, Culham, UK, September 7--9, 2022, Proceedings, pp. 63–77, Springer 2022.
Engineering of digital twins for cyber-physical systems Inproceedings
In: Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22--30, 2022, Proceedings, Part IV, pp. 3–8, Springer 2022.
A survey of practical formal methods for security Journal Article
In: Formal Aspects of Computing, 34 (1), pp. 1–39, 2022.