Milad Kazemi

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 12

Top Topics

Markov Decision Process

Reinforcement Learning

Top Venues

USENIX Security Symposium

Publications

Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti
Counterfactual Influence in Markov Decision Processes. CoRR (2024)
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Assume-Guarantee Reinforcement Learning. AAAI (2024)
Veena Krish, Nicola Paoletti, Milad Kazemi, Scott A. Smolka, Amir Rahmati
Biosignal Authentication Considered Harmful Today. USENIX Security Symposium (2024)
Tom Kuipers, Renukanandan Tumu, Shuo Yang, Milad Kazemi, Rahul Mangharam, Nicola Paoletti
Conformal Off-Policy Prediction for Multi-Agent Systems. CoRR (2024)
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Assume-Guarantee Reinforcement Learning. CoRR (2023)
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Data-Driven Abstraction-Based Control Synthesis. CoRR (2022)
Milad Kazemi, Nicola Paoletti
Towards Causal Temporal Reasoning for Markov Decision Processes. CoRR (2022)
Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR (2022)
Milad Kazemi
Data-driven Approaches for Formal Synthesis of Dynamical Systems. AAMAS (2022)
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. AAMAS (2022)
Milad Kazemi, Sadegh Soudjani
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. IFM (2020)
Milad Kazemi, Sadegh Soudjani
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning. CoRR (2020)