Yiannis Kantaros
6 papers · 2019–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (4) π Academic Marathon (6) π Cross-Pollinator (4)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(16)
π
Keyword Champion
(2)
Conferences
AAAI (2)
L4DC (2)
NIPS (1)
RSS (1)
Top co-authors
Research topics
Keywords
control policy
(2)
trajectory prediction
(1)
constrained optimization
(1)
formal verification
(1)
markov decision process
(1)
lyapunov function
(1)
active information acquisition
(1)
safe reinforcement learning
(1)
asymptotic optimality
(1)
risk bound
(1)
adversarial perturbation
(1)
safety constraint
(1)
autonomous vehicle
(1)
neural network robustness
(1)
policy synthesis
(1)
safety guarantee
(1)
mixed-integer programming
(1)
neural network controller
(1)
multi-robot system
(1)
reachability analysis
(1)
Papers
Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees
AAAI 2026
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
L4DC 2025
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
AAAI 2024
Neural Lyapunov Control for Discrete-Time Systems
NIPS 2023
Targeted Adversarial Attacks against Neural Network Trajectory Predictors
L4DC 2023
Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering
RSS 2019