Automated verification and synthesis of stochastic hybrid systems: A survey.
Saved in:
| Title: | Automated verification and synthesis of stochastic hybrid systems: A survey. |
|---|---|
| Authors: | Lavaei, Abolfazl1, abolfazl.lavaei@newcastle.ac.uk, Soudjani, Sadegh1, sadegh.soudjani@newcastle.ac.uk, Abate, Alessandro2, aabate@cs.ox.ac.uk, Zamani, Majid3,4, majid.zamani@colorado.edu |
| Source: | Automatica; Dec2022, Vol. 146, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00051098 |
|---|---|
| DOI: | 10.1016/j.automatica.2022.110617 |
