Anzahl der Publikationen: 70
Zeitschriftenartikel
Konferenzbeitrag
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]
Liu, Siyuan; Saoud, Adnane; Jagtap, Pushpak; Dimarogonas, Dimos V. und Zamani, Majid
(2022):
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
IEEE 61st Conference on Decision and Control (CDC), Cancun, Mexico, 06-09 December 2022.
In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Piscataway, NJ, USA: IEEE. S. 2184-2189
Nejati, Ameneh; Zhong, Bingzhuo; Caccamo, Marco und Zamani, Majid
(2022):
Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach.
2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), Milan, Italy, 03-06 May 2022.
In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS),
S. 11-12
Diese Liste wurde am
Sun Aug 11 02:56:52 2024 CEST
erstellt.