Kantaros, Yiannis

4 publications

L4DC 2025 Mission-Driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications Jun Wang, Hosein Hasanbeig, Kaiyuan Tan, Zihe Sun, Yiannis Kantaros

AAAI 2024 Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate

NeurIPS 2023 Neural Lyapunov Control for Discrete-Time Systems Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik

L4DC 2023 Targeted Adversarial Attacks Against Neural Network Trajectory Predictors Kaiyuan Tan, Jun Wang, Yiannis Kantaros