Search for persons
X
?
2021 American Control Conference (ACC) ,
6
A Gradient-Based Approach for Coordinating Smart Vehicles a..:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
7
Specification and Runtime Verification of Temporal Assessme..:
, In:
?
2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) ,
8
An Application of Model Predictive Control to Reactive Moti..:
, In:
?
2020 Spring Simulation Conference (SpringSim) ,
10
A Simulator for Trading Traffic Privileges by Selfish Drivi..:
, In:
?
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) ,
11
Automatic Synthesis of Information Flow Driven Execution Ma..:
, In:
?
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) ,
13
Graphical Hybrid Automata with Simulink and Stateflow:
, In:
?
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) ,
14
Graphical Modeling of Hybrid Dynamics with Simulink and Sta..:
, In:
?
Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems ,
15