Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. - Milad Kazemi; Sadegh Soudjani (IFM, 2020)

Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning. - Milad Kazemi; Sadegh Soudjani (CoRR, 2020)

Data-driven Approaches for Formal Synthesis of Dynamical Systems. - Milad Kazemi (AAMAS, 2022)

Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. - Milad Kazemi; Mateo Perez; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi 001; Alvaro Velasquez (AAMAS, 2022)

Data-Driven Abstraction-Based Control Synthesis. - Milad Kazemi; Rupak Majumdar; Mahmoud Salamati; Sadegh Soudjani; Ben Wooding (CoRR, 2022)

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. - Abolfazl Lavaei; Mateo Perez; Milad Kazemi; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi 001; Majid Zamani 001 (CoRR, 2022)

Towards Causal Temporal Reasoning for Markov Decision Processes. - Milad Kazemi; Nicola Paoletti (CoRR, 2022)

Assume-Guarantee Reinforcement Learning. - Milad Kazemi; Mateo Perez; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi 001; Alvaro Velasquez (AAAI, 2024)

Conformal Off-Policy Prediction for Multi-Agent Systems. - Tom Kuipers; Renukanandan Tumu; Shuo Yang 007; Milad Kazemi; Rahul Mangharam; Nicola Paoletti (CDC, 2024)

Biosignal Authentication Considered Harmful Today. - Veena Krish; Nicola Paoletti; Milad Kazemi; Scott A. Smolka; Amir Rahmati (USENIX Security Symposium, 2024)

Counterfactual Influence in Markov Decision Processes. - Milad Kazemi; Jessica Lally; Ekaterina Tishchenko; Hana Chockler; Nicola Paoletti (CLeaR, 2025)

Robust Counterfactual Inference in Markov Decision Processes. - Jessica Lally; Milad Kazemi; Nicola Paoletti (CoRR, 2025)

SimICD: A Closed-Loop Simulation Framework For ICD Therapy. - Hannah Lydon; Milad Kazemi; Martin Bishop; Nicola Paoletti (CoRR, 2025)

Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives. - Milad Kazemi; Mateo Perez; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi 001; Alvaro Velasquez (CoRR, 2025)

Abstract Counterfactuals for Language Model Agents. - Edoardo Pona; Milad Kazemi; Yali Du 001; David Watson; Nicola Paoletti (CoRR, 2025)