Found 4 Documents (Results 1–4)
Automated verification and synthesis of stochastic hybrid systems: a survey. (English) Zbl 1504.93389
AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. (English) Zbl 1481.93037
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 461-474 (2020).
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. (English) Zbl 07300872
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 31, 2 p. (2020).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (2)
all
top 5
Author
- Lavaei, Abolfazl (4)
- Zamani, Majid (4)
- Soudjani, Sadegh (3)
- Khaled, Mahmoud (2)
- Abate, Alessandro (1)
- Caccamo, Marco (1)
- Zhong, Bingzhuo (1)
Volume
- 147 (2023) (1)
- 146 (2022) (1)