Anzahl der Publikationen: 4
2022
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]
2021
2020
Diese Liste wurde am
Sat Dec 21 22:38:15 2024 CET
erstellt.