?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
4
Distributionally Robust Strategy Synthesis for Switched Sto..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
6
Interval Markov Decision Processes with Continuous Action-S..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
7
Poster: Convex Scenario Optimisation for ReLU Networks:
, In:
?
25th ACM International Conference on Hybrid Systems: Computation and Control ,
8
A Simpler Alternative: Minimizing Transition Systems Modulo..:
, In:
?
Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems ,
9
Robust Event-Driven Interactions in Cooperative Multi-agent..:
, In:
?
25th ACM International Conference on Hybrid Systems: Computation and Control ,
10
ETCetera: beyond Event-Triggered Control:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
12
Generalizing Non-punctuality for Timed Temporal Logic with ..:
, In:
?
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control ,
13