Formal Verification and Control of Stochastic Hybrid Systems
books.google.com
Ameneh Nejati. Contributors, Martin Buss, Murtat Arcak, Majid Zamani. Publisher, Universitätsbibliothek der TU München, Export Citation, BiBTeX EndNote ... Ameneh Nejati. Contributors, Martin Buss, Murtat Arcak, Majid Zamani. Publisher, Universitätsbibliothek der TU München, Export Citation, BiBTeX EndNote ...
Formal Synthesis of Partially-Observable Cyber-Physical ...TUM
convey.ifi.lmu.de
von N Jahanshahi — [103] Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, and Majid Zamani. Data-driven controller synthesis of unknown nonlinear polynomial systems via control ... von N Jahanshahi — [103] Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, and Majid Zamani. Data-driven controller synthesis of unknown nonlinear polynomial systems via control ...
Formal Verification and Control of Stochastic Hybrid Systems
amy-nejati.de
von A Nejati · · Zitiert von: 4 — I am profoundly grateful for his endless support throughout this challenging and rewarding period. Ameneh Nejati. Munich, October v. Page ... von A Nejati · · Zitiert von: 4 — I am profoundly grateful for his endless support throughout this challenging and rewarding period. Ameneh Nejati. Munich, October v. Page ...
Model-Based and Data-Driven Formal Synthesis of Power ...
theses.ncl.ac.uk
von BJ Wooding · — [96] Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, and Majid Zamani. Formal safety verification of unknown continuous-time systems: A data- driven ... von BJ Wooding · — [96] Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, and Majid Zamani. Formal safety verification of unknown continuous-time systems: A data- driven ...
IEEE Control Systems Society
ieeecss.org
— Authors: Ameneh Nejati ; Abolfazl Lavaei ; Pushpak Jagtap ; Sadegh Soudjani ; Majid Zamani. Abstract: This article is concerned with a formal ...
DBLPhttps://dblp.uni-trier.de › rec › tacFormal Verification of Unknown Discrete- and Continuous-Time ...
dblp.uni-trier.de
Ameneh Nejati , Abolfazl Lavaei , Pushpak Jagtap , Sadegh Soudjani , Majid Zamani : Formal Verification of Unknown Discrete- and Continuous-Time Systems: A ...
Estimating infinitesimal generators of stochastic systems ...researchr.org
researchr.org
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, ... Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, ...
Formal Verification of Unknown Discrete- and Continuous ...ResearchGate
www.researchgate.net
— Authors: Ameneh Nejati · Ameneh Nejati. This person is not on ResearchGate, or hasn't claimed this research yet — Authors: Ameneh Nejati · Ameneh Nejati. This person is not on ResearchGate, or hasn't claimed this research yet.
Alle Infos zum Namen "Ameneh Nejati"
CPS Rising Stars The University of Virginia
risingstars.linklab.virginia.edu
Ameneh Nejati. Postdoctoral Researcher. Formal Verification and Control of Stochastic Cyber-Physical Systems: Model-based and Data-driven Techniques. Ameneh Nejati. Postdoctoral Researcher. Formal Verification and Control of Stochastic Cyber-Physical Systems: Model-based and Data-driven Techniques.
Formal Controller Synthesis for Continuous-Space MDPs via ...Connected Papers
www.connectedpapers.com
Ameneh Nejati, S. Soudjani, Majid Zamani , IFAC-PapersOnLine. Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. Ameneh Nejati, S. Soudjani, Majid Zamani , IFAC-PapersOnLine. Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.
Formal Synthesis of Stochastic Systems via Control Barrier ...
typeset.io
Ameneh Nejati,Sadegh Soudjani,Majid Zamani +2 moreTechnische Universität München,Newcastle University,University of Colorado Boulder May Show Less. Ameneh Nejati,Sadegh Soudjani,Majid Zamani +2 moreTechnische Universität München,Newcastle University,University of Colorado Boulder May Show Less.
Find and explore academic papersConnected Papers
www.connectedpapers.com
— Ameneh Nejati, Bingzhuo Zhong, M. Caccamo, Majid Zamani , Conference on Learning for Dynamics & Control. Formal Synthesis of Stochastic — Ameneh Nejati, Bingzhuo Zhong, M. Caccamo, Majid Zamani , Conference on Learning for Dynamics & Control. Formal Synthesis of Stochastic ...
Formal Verification of Unknown Discrete- and Continuous ...
discovery.researcher.life
— ... Ameneh Nejati+4. Read the article Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach on R — ... Ameneh Nejati+4. Read the article Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach on R ...
HSCC2021 Proceedings of the 24th International Conference on - PDF...
docplayer.net
Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani, Poster: Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A ...
CPS Rising Stars 2024
risingstars.linklab.virginia.edu
Ameneh Nejati, Formal Verification and Control of Stochastic Cyber-Physical Systems: Model-based and Data-driven Techniques. 12, Filippos Fotiadis, Game ...
MPG.PuRe
pure.mpg.de
von M Kazemi · · Zitiert von: 22 — [18] Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, and Majid Zamani. Formal safety verification of unknown continuous-time systems: A data ...
Verwandte Suchanfragen zu Ameneh Nejati
Prakash Nayak |
Personen Vorname "Ameneh" (10) Name "Nejati" (51) |
sortiert nach Relevanz / Datum