default search action
Mohamadreza Ahmadi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Prithvi Akella
, Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick, Aaron D. Ames:
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification. Artif. Intell. 336: 104195 (2024) - [j14]Mohamadreza Ahmadi
Risk-Averse Decision Making Under Uncertainty. IEEE Trans. Autom. Control. 69(1): 55-68 (2024) - [i28]Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick:
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. CoRR abs/2403.18972 (2024) - 2023
- [j13]Anushri Dixit
Risk-averse receding horizon motion planning for obstacle avoidance using coherent risk measures. Artif. Intell. 325: 104018 (2023) - [j12]Andrew Singletary
Safe Control for Nonlinear Systems With Stochastic Uncertainty via Risk Control Barrier Functions. IEEE Control. Syst. Lett. 7: 349-354 (2023) - [i27]Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames:
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. CoRR abs/2301.09622 (2023) - 2022
- [j11]Mohamadreza Ahmadi
Risk-Averse Control via CVaR Barrier Functions: Application to Bipedal Robot Locomotion. IEEE Control. Syst. Lett. 6: 878-883 (2022) - [j10]Anushri Dixit
Distributionally Robust Model Predictive Control With Total Variation Distance. IEEE Control. Syst. Lett. 6: 3325-3330 (2022) - [i26]Prithvi Akella, Mohamadreza Ahmadi, Aaron D. Ames:
A Scenario Approach to Risk-Aware Safety-Critical System Verification. CoRR abs/2203.02595 (2022) - [i25]Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick:
Distributionally Robust Model Predictive Control with Total Variation Distance. CoRR abs/2203.12062 (2022) - [i24]Andrew Singletary, Mohamadreza Ahmadi, Aaron D. Ames:
Safe Control for Nonlinear Systems with Stochastic Uncertainty via Risk Control Barrier Functions. CoRR abs/2203.15892 (2022) - [i23]Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick:
Risk-Averse Receding Horizon Motion Planning. CoRR abs/2204.09596 (2022) - [i22]Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick, Aaron D. Ames:
Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification. CoRR abs/2204.09833 (2022) - 2021
- [j9]Mohamadreza Ahmadi
Control Theory Meets POMDPs: A Hybrid Systems Approach. IEEE Trans. Autom. Control. 66(11): 5191-5204 (2021) - [c30]Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames:
Constrained Risk-Averse Markov Decision Processes. AAAI 2021: 11718-11725 - [c29]Ugo Rosolia
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. CDC 2021: 4287-4294 - [c28]Mohamadreza Ahmadi, Anushri Dixit
Risk-Averse Stochastic Shortest Path Planning. CDC 2021: 5199-5204 - [c27]Anushri Dixit
Risk-Sensitive Motion Planning using Entropic Value-at-Risk. ECC 2021: 1726-1732 - [i21]Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames:
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. CoRR abs/2103.01476 (2021) - [i20]Mohamadreza Ahmadi, Anushri Dixit, Joel W. Burdick, Aaron D. Ames:
Risk-Averse Stochastic Shortest Path Planning. CoRR abs/2103.14727 (2021) - [i19]Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames:
Risk-Averse Decision Making Under Uncertainty. CoRR abs/2109.04082 (2021) - 2020
- [j8]Mohamadreza Ahmadi
Safe Controller Synthesis for Data-Driven Differential Inclusions. IEEE Trans. Autom. Control. 65(11): 4934-4940 (2020) - [c26]Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames:
Risk-Averse Planning Under Uncertainty. ACC 2020: 3305-3312 - [c25]Yuxiao Chen, Mohamadreza Ahmadi, Aaron D. Ames:
Optimal Safe Controller Synthesis: A Density Function Approach. ACC 2020: 5407-5412 - [c24]Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames:
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CDC 2020: 790-795 - [c23]Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames:
Barrier Functions for Multiagent-POMDPs with DTL Specifications. CDC 2020: 1380-1385 - [c22]Mohamadreza Ahmadi, Arun Viswanathan, Michel D. Ingham, Kymie Tan, Aaron D. Ames:
Partially Observable Games for Secure Autonomy. SP (Workshops) 2020: 185-188 - [i18]Mohamadreza Ahmadi, Rangoli Sharan, Joel W. Burdick:
Stochastic Finite State Control of POMDPs with LTL Specifications. CoRR abs/2001.07679 (2020) - [i17]Mohamadreza Ahmadi, Arun Viswanathan, Michel D. Ingham, Kymie Tan, Aaron D. Ames:
Partially Observable Games for Secure Autonomy. CoRR abs/2002.01969 (2020) - [i16]Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames:
Barrier Functions for Multiagent-POMDPs with DTL Specifications. CoRR abs/2003.09267 (2020) - [i15]Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames:
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CoRR abs/2004.04227 (2020) - [i14]Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu:
Constrained Active Classification Using Partially Observable Markov Decision Processes. CoRR abs/2008.04768 (2020) - [i13]Mohamadreza Ahmadi, Xiaobin Xiong, Aaron D. Ames:
Risk-Sensitive Path Planning via CVaR Barrier Functions: Application to Bipedal Locomotion. CoRR abs/2011.01578 (2020) - [i12]Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick:
Risk-Sensitive Motion Planning using Entropic Value-at-Risk. CoRR abs/2011.11211 (2020) - [i11]Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames:
Constrained Risk-Averse Markov Decision Processes. CoRR abs/2012.02423 (2020)
2010 – 2019
- 2019
- [c21]Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. ACC 2019: 1216-1223 - [c20]Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu
Barrier Certificates for Assured Machine Teaching. ACC 2019: 3658-3663 - [c19]Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames
Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions. CDC 2019: 4797-4803 - [c18]Yagiz Savas, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
Entropy-Regularized Stochastic Games. CDC 2019: 5955-5962 - [i10]Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames:
Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions. CoRR abs/1903.07823 (2019) - [i9]Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu:
Control Theory Meets POMDPs: A Hybrid Systems Approach. CoRR abs/1905.08095 (2019) - [i8]Yuxiao Chen, Mohamadreza Ahmadi, Aaron D. Ames:
Optimal Safe Controller Synthesis: A Density Function Approach. CoRR abs/1909.11798 (2019) - [i7]Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames:
Risk-Averse Planning Under Uncertainty. CoRR abs/1909.12499 (2019) - 2018
- [c17]Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. ADHS 2018: 115-120 - [c16]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen
Verification of Uncertain POMDPs Using Barrier Certificates. Allerton 2018: 115-122 - [c15]Mohamadreza Ahmadi, Suda Bharadwaj, Takashi Tanaka, Ufuk Topcu
Stochastic Games with Sensing Costs. Allerton 2018: 275-282 - [c14]Mohamadreza Ahmadi, Ufuk Topcu
Control-Oriented Learning of Lagrangian and Hamiltonian Systems. ACC 2018: 520-525 - [c13]Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu
Distributed Synthesis Using Accelerated ADMM. ACC 2018: 6206-6211 - [c12]Suda Bharadwaj
Transfer Entropy in MDPs with Temporal Logic Specifications. CDC 2018: 4173-4180 - [c11]Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
Privacy Verification in POMDPs via Barrier Certificates. CDC 2018: 5610-5615 - [i6]Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu:
Privacy Verification in POMDPs via Barrier Certificates. CoRR abs/1804.03810 (2018) - [i5]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu:
Verification of Uncertain POMDPs Using Barrier Certificates. CoRR abs/1807.03823 (2018) - [i4]Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu:
Transfer Entropy in MDPs with Temporal Logic Specifications. CoRR abs/1809.06480 (2018) - [i3]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
The Partially Observable Games We Play for Cyber Deception. CoRR abs/1810.00092 (2018) - [i2]Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu:
Barrier Certificates for Assured Machine Teaching. CoRR abs/1810.00093 (2018) - [i1]Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu:
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. CoRR abs/1810.00097 (2018) - 2017
- [j7]Mohamadreza Ahmadi
Safety verification for distributed parameter systems using barrier functionals. Syst. Control. Lett. 108: 33-39 (2017) - [j6]Mohamadreza Ahmadi, Hamed Mojallali
On robust stability of switched systems in the context of Filippov solutions. Syst. Control. Lett. 109: 17-23 (2017) - [j5]Seyed Yahya Zahedi Fard
A dynamic VM consolidation technique for QoS and energy consumption in cloud environment. J. Supercomput. 73(10): 4347-4368 (2017) - [j4]Seyed Yahya Zahedi Fard
Erratum to: A dynamic VM consolidation technique for QoS and energy consumption in cloud environment. J. Supercomput. 73(10): 4369-4372 (2017) - [c10]Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu
Safety assessemt based on physically-viable data-driven models. CDC 2017: 6409-6414 - 2016
- [j3]Mohamadreza Ahmadi, Giorgio Valmorbida
Dissipation inequalities for the analysis of a class of PDEs. Autom. 66: 163-171 (2016) - [j2]Giorgio Valmorbida
Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming. IEEE Trans. Autom. Control. 61(6): 1649-1654 (2016) - [c9]Mohamadreza Ahmadi, Antonis Papachristodoulou
Controller synthesis for stochastic systems with persistent noise via semi-definite programming. CDC 2016: 4546-4551 - [c8]Mohamadreza Ahmadi, Andreas W. K. Harris, Antonis Papachristodoulou
An optimization-based method for bounding state functionals of nonlinear stochastic systems. CDC 2016: 5342-5347 - 2015
- [c7]Mohamadreza Ahmadi, Giorgio Valmorbida
Barrier functionals for output functional estimation of PDEs. ACC 2015: 2594-2599 - [c6]Mohamadreza Ahmadi, Giorgio Valmorbida
A convex approach to hydrodynamic analysis. CDC 2015: 7262-7267 - [c5]Giorgio Valmorbida
Convex solutions to integral inequalities in two-dimensional domains. CDC 2015: 7268-7273 - 2014
- [c4]Giorgio Valmorbida
Semi-definite programming and functional inequalities for distributed parameter systems. CDC 2014: 4304-4309 - [c3]Mohamadreza Ahmadi, Giorgio Valmorbida
Input-output analysis of distributed parameter systems using convex optimization. CDC 2014: 4310-4315 - 2012
- [j1]Mohamadreza Ahmadi, Hamed Mojallali
State estimation of nonlinear stochastic systems using a novel meta-heuristic particle filter. Swarm Evol. Comput. 4: 44-53 (2012) - [c2]Mohamadreza Ahmadi, Hamed Mojallali, Rafael Wisniewski, Roozbeh Izadi-Zamanabadi
Robust stability and H∞ control of uncertain piecewise linear switched systems with Filippov solutions. CCA 2012: 1142-1147 - [c1]Mohamadreza Ahmadi, Hamed Mojallali, Rafal Wisniewski, Roozbeh Izadi-Zamanabadi
Robust Stability Analysis of Nonlinear Switched Systems with Filippov Solutions. ROCOND 2012: 288-293
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: