25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020)
This event has now finished.
Dr Radu Calinescu and others from the team will present two papers at this respected conference:
- Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
- Safety Controller Synthesis for Collaborative Robots