research
∙
05/19/2023
Testing System Intelligence
We discuss the adequacy of tests for intelligent systems and practical p...
share
research
∙
01/10/2023
Simulation-based Validation for Autonomous Driving Systems
Simulation is essential to validate autonomous driving systems. However,...
research
∙
05/20/2022
Correct by Design Coordination of Autonomous Driving Systems
The paper proposes a method for the correct by design coordination of au...
research
∙
12/15/2021
Verification of Component-based Systems with Recursive Architectures
We study a sound verification method for parametric component-based syst...
research
∙
09/28/2021
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles
Providing safety guarantees for Autonomous Vehicle (AV) systems with mac...
research
∙
09/14/2021
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
Autonomous Driving Systems (ADS) are critical dynamic reconfigurable age...
research
∙
03/29/2021
A hybrid controller for safe and efficient collision avoidance control
We design and experimentally evaluate a hybrid safe-by-construction coll...
research
∙
08/10/2020
Safe and efficient collision avoidance control for autonomous vehicles
We study a novel principle for safe and efficient collision avoidance th...
research
∙
02/18/2020
Structural Invariants for the Verification of Systems with Parameterized Architectures
We consider parameterized concurrent systems consisting of a finite but ...
research
∙
11/17/2019
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems
The potential benefits of autonomous systems have been driving intensive...
research
∙
08/19/2019
Local Reasoning about Parametric and Reconfigurable Component-based Systems
We introduce a logical framework for the specification and verification ...
research
∙
05/25/2018
Checking Deadlock-Freedom of Parametric Component-Based Systems
We propose an automated method for computing inductive invariants applie...
research
∙
05/24/2018
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous se...
research
∙
05/09/2018