Mohamadreza Ahmadi

74 papers A* 1C 8Journal 44Unranked 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications.
IEEE Trans. Autom. Control.
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2024 J jnl
Risk-Averse Decision Making Under Uncertainty.
IEEE Trans. Autom. Control.
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2024 J jnl
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification.
CoRR
Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick
2024 J jnl
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification.
Artif. Intell.
Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick, Aaron D. Ames
2023 J jnl
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications.
CoRR
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2023 J jnl
Risk-averse receding horizon motion planning for obstacle avoidance using coherent risk measures.
Artif. Intell.
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
2023 J jnl
Safe Control for Nonlinear Systems With Stochastic Uncertainty via Risk Control Barrier Functions.
IEEE Control. Syst. Lett.
Andrew Singletary, Mohamadreza Ahmadi, Aaron D. Ames
2022 J jnl
A Scenario Approach to Risk-Aware Safety-Critical System Verification.
CoRR
Prithvi Akella, Mohamadreza Ahmadi, Aaron D. Ames
2022 J jnl
Distributionally Robust Model Predictive Control With Total Variation Distance.
IEEE Control. Syst. Lett.
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
2022 J jnl
Distributionally Robust Model Predictive Control with Total Variation Distance.
CoRR
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
2022 J jnl
Risk-Averse Control via CVaR Barrier Functions: Application to Bipedal Robot Locomotion.
IEEE Control. Syst. Lett.
Mohamadreza Ahmadi, Xiaobin Xiong, Aaron D. Ames
2022 J jnl
Risk-Averse Receding Horizon Motion Planning.
CoRR
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
2022 J jnl
Safe Control for Nonlinear Systems with Stochastic Uncertainty via Risk Control Barrier Functions.
CoRR
Andrew Singletary, Mohamadreza Ahmadi, Aaron D. Ames
2022 J jnl
Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification.
CoRR
Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick, Aaron D. Ames
2021 A* conf
Constrained Risk-Averse Markov Decision Processes.
AAAI
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2021 J jnl
Control Theory Meets POMDPs: A Hybrid Systems Approach.
IEEE Trans. Autom. Control.
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
2021 J jnl
Risk-Averse Decision Making Under Uncertainty.
CoRR
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2021 — conf
Risk-Averse Stochastic Shortest Path Planning.
CDC
Mohamadreza Ahmadi, Anushri Dixit, Joel W. Burdick, Aaron D. Ames
2021 J jnl
Risk-Averse Stochastic Shortest Path Planning.
CoRR
Mohamadreza Ahmadi, Anushri Dixit, Joel W. Burdick, Aaron D. Ames
2021 — conf
Risk-Sensitive Motion Planning using Entropic Value-at-Risk.
ECC
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
2021 — conf
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications.
CDC
Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2021 J jnl
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications.
CoRR
Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2020 — conf
Barrier Functions for Multiagent-POMDPs with DTL Specifications.
CDC
Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames
2020 J jnl
Barrier Functions for Multiagent-POMDPs with DTL Specifications.
CoRR
Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames
2020 J jnl
Constrained Active Classification Using Partially Observable Markov Decision Processes.
CoRR
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
2020 J jnl
Constrained Risk-Averse Markov Decision Processes.
CoRR
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2020 — conf
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.
CDC
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2020 J jnl
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.
CoRR
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2020 C conf
Optimal Safe Controller Synthesis: A Density Function Approach.
ACC
Yuxiao Chen, Mohamadreza Ahmadi, Aaron D. Ames
2020 — conf
Partially Observable Games for Secure Autonomy.
SP (Workshops)
Mohamadreza Ahmadi, Arun Viswanathan, Michel D. Ingham, Kymie Tan, Aaron D. Ames
2020 J jnl
Partially Observable Games for Secure Autonomy.
CoRR
Mohamadreza Ahmadi, Arun Viswanathan, Michel D. Ingham, Kymie Tan, Aaron D. Ames
2020 C conf
Risk-Averse Planning Under Uncertainty.
ACC
Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2020 J jnl
Risk-Sensitive Motion Planning using Entropic Value-at-Risk.
CoRR
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
2020 J jnl
Risk-Sensitive Path Planning via CVaR Barrier Functions: Application to Bipedal Locomotion.
CoRR
Mohamadreza Ahmadi, Xiaobin Xiong, Aaron D. Ames
2020 J jnl
Safe Controller Synthesis for Data-Driven Differential Inclusions.
IEEE Trans. Autom. Control.
Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu
2020 J jnl
Stochastic Finite State Control of POMDPs with LTL Specifications.
CoRR
Mohamadreza Ahmadi, Rangoli Sharan, Joel W. Burdick
2019 C conf
Barrier Certificates for Assured Machine Teaching.
ACC
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu
2019 J jnl
Control Theory Meets POMDPs: A Hybrid Systems Approach.
CoRR
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
2019 C conf
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.
ACC
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
2019 — conf
Entropy-Regularized Stochastic Games.
CDC
Yagiz Savas, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
2019 J jnl
Optimal Safe Controller Synthesis: A Density Function Approach.
CoRR
Yuxiao Chen, Mohamadreza Ahmadi, Aaron D. Ames
2019 J jnl
Risk-Averse Planning Under Uncertainty.
CoRR
Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2019 — conf
Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions.
CDC
Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames
2019 J jnl
Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions.
CoRR
Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames
2018 J jnl
Barrier Certificates for Assured Machine Teaching.
CoRR
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu
2018 — conf
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets.
ADHS
Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey
2018 C conf
Control-Oriented Learning of Lagrangian and Hamiltonian Systems.
ACC
Mohamadreza Ahmadi, Ufuk Topcu, Clarence W. Rowley
2018 J jnl
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.
CoRR
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
2018 C conf
Distributed Synthesis Using Accelerated ADMM.
ACC
Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu, Takashi Tanaka
2018 — conf
Privacy Verification in POMDPs via Barrier Certificates.
CDC
Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
2018 J jnl
Privacy Verification in POMDPs via Barrier Certificates.
CoRR
Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
2018 — conf
Stochastic Games with Sensing Costs.
Allerton
Mohamadreza Ahmadi, Suda Bharadwaj, Takashi Tanaka, Ufuk Topcu
2018 J jnl
The Partially Observable Games We Play for Cyber Deception.
CoRR
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2018 — conf
Transfer Entropy in MDPs with Temporal Logic Specifications.
CDC
Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
2018 J jnl
Transfer Entropy in MDPs with Temporal Logic Specifications.
CoRR
Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
2018 — conf
Verification of Uncertain POMDPs Using Barrier Certificates.
Allerton
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
2018 J jnl
Verification of Uncertain POMDPs Using Barrier Certificates.
CoRR
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
2017 J jnl
A dynamic VM consolidation technique for QoS and energy consumption in cloud environment.
J. Supercomput.
Seyed Yahya Zahedi Fard, Mohamadreza Ahmadi, Sahar Adabi
2017 J jnl
Erratum to: A dynamic VM consolidation technique for QoS and energy consumption in cloud environment.
J. Supercomput.
Seyed Yahya Zahedi Fard, Mohamadreza Ahmadi, Sahar Adabi
2017 J jnl
On robust stability of switched systems in the context of Filippov solutions.
Syst. Control. Lett.
Mohamadreza Ahmadi, Hamed Mojallali, Rafael Wisniewski
2017 — conf
Safety assessemt based on physically-viable data-driven models.
CDC
Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu
2017 J jnl
Safety verification for distributed parameter systems using barrier functionals.
Syst. Control. Lett.
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
2016 — conf
An optimization-based method for bounding state functionals of nonlinear stochastic systems.
CDC
Mohamadreza Ahmadi, Andreas W. K. Harris, Antonis Papachristodoulou
2016 — conf
Controller synthesis for stochastic systems with persistent noise via semi-definite programming.
CDC
Mohamadreza Ahmadi, Antonis Papachristodoulou
2016 J jnl
Dissipation inequalities for the analysis of a class of PDEs.
Autom.
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
2016 J jnl
Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming.
IEEE Trans. Autom. Control.
Giorgio Valmorbida, Mohamadreza Ahmadi, Antonis Papachristodoulou
2015 — conf
A convex approach to hydrodynamic analysis.
CDC
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
2015 C conf
Barrier functionals for output functional estimation of PDEs.
ACC
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
2015 — conf
Convex solutions to integral inequalities in two-dimensional domains.
CDC
Giorgio Valmorbida, Mohamadreza Ahmadi, Antonis Papachristodoulou
2014 — conf
Input-output analysis of distributed parameter systems using convex optimization.
CDC
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
2014 — conf
Semi-definite programming and functional inequalities for distributed parameter systems.
CDC
Giorgio Valmorbida, Mohamadreza Ahmadi, Antonis Papachristodoulou
2012 — conf
Robust Stability Analysis of Nonlinear Switched Systems with Filippov Solutions.
ROCOND
Mohamadreza Ahmadi, Hamed Mojallali, Rafal Wisniewski, Roozbeh Izadi-Zamanabadi
2012 C conf
Robust stability and H∞ control of uncertain piecewise linear switched systems with Filippov solutions.
CCA
Mohamadreza Ahmadi, Hamed Mojallali, Rafael Wisniewski, Roozbeh Izadi-Zamanabadi
2012 J jnl
State estimation of nonlinear stochastic systems using a novel meta-heuristic particle filter.
Swarm Evol. Comput.
Mohamadreza Ahmadi, Hamed Mojallali, Roozbeh Izadi-Zamanabadi