Milad Kazemi

According to our database, Milad Kazemi authored at least 11 papers between 2020 and 2024.

Collaborative distances:

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

2024

Conformal Off-Policy Prediction for Multi-Agent Systems.

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

CoRR, 2024

Counterfactual Influence in Markov Decision Processes.

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

CoRR, 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

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