Formal Methods for (Multi-)Robot Control under Complex Specifications and Security Constraints
#control
#automation
#robotics
#Seminar
Date and Time
Location
Hosts
Registration
-
Add Event to Calendar
- EEE Executive Seminar Room (S2.2-B2-53)
- Singapore, Singapore
- Singapore
- Contact Event Host
- Co-sponsored by Centre for System Intelligence and Efficiency (CSIE)
- Starts 03 September 2026 05:00 PM UTC
- Ends 07 September 2026 02:00 PM UTC
- No Admission Charge