Licio Romao
4 papers · 2021–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π£ Hot Topic Early Bird π Conference Polyglot (2) π Cross-Pollinator (8)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(14)
Conferences
L4DC (3)
AAAI (1)
Top co-authors
Keywords
stochastic optimization
(1)
reinforcement learning
(1)
epistemic uncertainty
(1)
formal methods
(1)
markov decision process
(1)
markov chain
(1)
optimization under uncertainty
(1)
dynamical system
(1)
robust control
(1)
sampling method
(1)
constraint violation
(1)
probabilistic bound
(1)
lexicographic optimization
(1)
interval markov decision process
(1)
scenario optimization
(1)
probabilistic guarantee
(1)
controller synthesis
(1)
scenario approach
(1)
policy robustness
(1)
sequential method
(1)
Papers
Bounded robustness in reinforcement learning via lexicographic objectives
L4DC 2024
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
AAAI 2023
Data-driven memory-dependent abstractions of dynamical systems
L4DC 2023
Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples
L4DC 2021