A Methodology and Formalism to Monitor Timing Specifications Of Cyber-Physical Systems
Back to People
Recent Publications
- Cooperative Driving of Connected Autonomous Vehicles in Smart Cities using Responsibility-Sensitive Safety Rules
- Cooperative Driving of Connected Autonomous Vehicles using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach
- A run-time verification method with consideration of uncertainties for cyber-physical systems
- Systems and methods for intersection management of connected autonomous vehicles
- Plan B - Design Methodology for Cyber-Physical Systems Robust to Timing Failure