Milad Kazemi

According to our database, Milad Kazemi authored at least 15 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Abstract Counterfactuals for Language Model Agents.

Edoardo Pona, Milad Kazemi, Yali Du, David Watson, Nicola Paoletti

CoRR, June, 2025

Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives.

Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez

CoRR, May, 2025

SimICD: A Closed-Loop Simulation Framework For ICD Therapy.

Hannah Lydon, Milad Kazemi, Martin Bishop, Nicola Paoletti

CoRR, May, 2025

Robust Counterfactual Inference in Markov Decision Processes.

Jessica Lally, Milad Kazemi, Nicola Paoletti

CoRR, February, 2025

Counterfactual Influence in Markov Decision Processes.

Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti

Proceedings of the Causal Learning and Reasoning, Lausanne, Switzerland, 7-9 May 2025., 2025

2024

Biosignal Authentication Considered Harmful Today.

Veena Krish, Nicola Paoletti, Milad Kazemi, Scott A. Smolka, Amir Rahmati

Proceedings of the 33rd USENIX Security Symposium, 2024

Conformal Off-Policy Prediction for Multi-Agent Systems.

Tom Kuipers, Renukanandan Tumu, Shuo Yang, Milad Kazemi, Rahul Mangharam, Nicola Paoletti

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

Assume-Guarantee Reinforcement Learning.

Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

Towards Causal Temporal Reasoning for Markov Decision Processes.

Milad Kazemi, Nicola Paoletti

CoRR, 2022

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems.

Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani

CoRR, 2022

Data-Driven Abstraction-Based Control Synthesis.

Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding

CoRR, 2022

Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning.

Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Data-driven Approaches for Formal Synthesis of Dynamical Systems.

Milad Kazemi

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2020

Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning.

Milad Kazemi, Sadegh Soudjani

CoRR, 2020

Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning.

Milad Kazemi, Sadegh Soudjani

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020