Search for persons
X
?
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control ,
2
Memoryless concretization relation:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
4
Characterization of the ordering of path-complete stability..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
5
Poster Abstract: Towards Seamless Reactivity of Hybrid Cont..:
, In:
?
2022 American Control Conference (ACC) ,
7
Optimal Abstraction-based Control with Local Affine Control..:
, In:
?
2022 American Control Conference (ACC) ,
8
Optimal Resource Scheduling and Allocation in Distributed C..:
, In:
?
2022 American Control Conference (ACC) ,
9
Reachability-based Control Synthesis under Signal Temporal ..:
, In:
?
15
Reachability Problems: 13th International Conference, RP 20..
Theoretical Computer Science and General Issues, 11674