Number of items: 2.
Belta, Calin and Majumdar, Rupak and Zamani, Majid and Rungger, Matthias
(2017)
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).
Dagstuhl Reports, 7 (5).
84–96.
Tabuada, Paulo and Caliskan, Sina Yamac and Rungger, Matthias and Majumdar, Rupak
(2014)
Towards Robustness for Cyber-Physical Systems.
IEEE Trans. Automat. Contr., 59 (12).
3151–3163.
This list was generated on Sun Dec 22 01:22:26 2024 CET.