Search for persons
X
?
2024 European Control Conference (ECC) ,
1
A Stability-Based Abstraction Framework for Reach-Avoid Con..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
5
Distributionally Robust Optimal and Safe Control of Stochas..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
6
Data-driven Abstractions via Adaptive Refinements and a Kan..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
7
Inner Approximations of Stochastic Programs for Data-Driven..:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
8
Formal Controller Synthesis for Markov Jump Linear Systems ..:
, In:
?
2020 59th IEEE Conference on Decision and Control (CDC) ,
10
Tight generalization guarantees for the sampling and discar..:
, In:
?
2019 IEEE 58th Conference on Decision and Control (CDC) ,
11