Follow
Milad Kazemi
Milad Kazemi
Department of Informatics, King's College London
Verified email at kcl.ac.uk - Homepage
Title
Cited by
Cited by
Year
Formal policy synthesis for continuous-state systems via reinforcement learning
M Kazemi, S Soudjani
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020
312020
Data-driven abstraction-based control synthesis
M Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding
Nonlinear Analysis: Hybrid Systems 52, 101467, 2024
202024
Structural controllability of a consensus network with multiple leaders
MK Mehrabadi, M Zamani, Z Chen
IEEE Transactions on Automatic Control 64 (12), 5101-5107, 2019
192019
Translating omega-regular specifications to average objectives for model-free reinforcement learning
M Kazemi, M Perez, F Somenzi, S Soudjani, A Trivedi, A Velasquez
Proc. of the 21st International Conference on Autonomous Agents and …, 2022
112022
Compositional reinforcement learning for discrete-time stochastic control systems
A Lavaei, M Perez, M Kazemi, F Somenzi, S Soudjani, A Trivedi, ...
IEEE Open Journal of Control Systems, 2023
42023
Control and management of active buildings
B Wooding, V Vahidinasab, M Kazemi, S Soudjani
Active Building Energy Systems: Operation and Control, 161-192, 2021
22021
Smart charging and operation of electric fleet vehicles in a smart city
M Kazemi, S Bailey, S Soudjani, V Vahidinasab
Cyberphysical Smart Cities Infrastructures: Optimal Operation and …, 2022
12022
Conformal Off-Policy Prediction for Multi-Agent Systems
T Kuipers, R Tumu, S Yang, M Kazemi, R Mangharam, N Paoletti
arXiv preprint arXiv:2403.16871, 2024
2024
Assume-Guarantee Reinforcement Learning
M Kazemi, M Perez, F Somenzi, S Soudjani, A Trivedi, A Velasquez
Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21223 …, 2024
2024
Counterfactual Influence in Markov Decision Processes
M Kazemi, J Lally, E Tishchenko, H Chockler, N Paoletti
arXiv preprint arXiv:2402.08514, 2024
2024
Causal Temporal Reasoning for Markov Decision Processes
M Kazemi, N Paoletti
arXiv preprint arXiv:2212.08712, 2022
2022
Data-driven Approaches for Formal Synthesis of Dynamical Systems
M Kazemi
Proceedings of the 21st International Conference on Autonomous Agents and …, 2022
2022
Towards Causal Temporal Reasoning for Markov Decision Processes.
M Kazemi, N Paoletti
CoRR, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–13