Author:
Nejati Ameneh,Soudjani Sadegh,Zamani Majid
Funder
Deutsche Forschungsgemeinschaft
European Research Council
Reference52 articles.
1. Probabilistic reachability and safety for controlled discrete-time stochastic hybrid systems;Abate;Automatica,2008
2. Principles of Model Checking;Baier,2008
3. Stochastic Optimal Control: The Discrete-Time Case;Bertsekas,1996
4. StocHy: Automated verification and synthesis of stochastic processes;Cauchi,2019
5. An ISS small gain theorem for general networks;Dashkovskiy;Math. Control, Signals, Syst. (MCSS),2007
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献