Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh und Zamani, Majid
(2022):
k-Inductive Barrier Certificates for Stochastic Systems.
HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, 2022.
Bartocci, Ezio (Hrsg.):
In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
New York: Association for Computing Machinery. S. 1-11
[PDF, 952kB]
| Dokumententyp: | Konferenzbeitrag (Paper) |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| URN: | urn:nbn:de:bvb:19-epub-109981-0 |
| Ort: | New York |
| Bemerkung: | ISBn 978-1-4503-9196-2 |
| Sprache: | Englisch |
| Dokumenten ID: | 109981 |
| Datum der Veröffentlichung auf Open Access LMU: | 22. Mrz. 2024, 06:07 |
| Letzte Änderungen: | 22. Mrz. 2024, 06:08 |
- Dokument bearbeiten
