Licio Romao
4 papers · 2021–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
π
Conference Polyglot Β· Bronze
π
Interdisciplinary Bridge Β· Silver
πΊοΈ
Taxonomy Completionist
(14)
π£
Hot Topic Early Bird
π
Trend Setter
Top co-authors
Research topics
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
Data-driven memory-dependent abstractions of dynamical systems
L4DC 2023
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
AAAI 2023
Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples
L4DC 2021