Ivana Cerna

Ivana Cerna

Masaryk University, Brno, Czech Republic
在 fi.muni.cz 的电子邮件经过验证
被引用次数：2203
Formal verification and synthesis
Pushpak Jagtap

Pushpak Jagtap

Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
在 iisc.ac.in 的电子邮件经过验证
被引用次数：817
Formal Verification and Synthesis Formal Methods Control of Cyber-Physical Systems Stochastic Systems Nonlinear Control
niloofar jahanshahi

niloofar jahanshahi

Ludwig-Maximilians-Universität München
在 lmu.de 的电子邮件经过验证
被引用次数：91
Formal Verification and Synthesis Formal Methods Stochastic Systems Interconnected Systems Nonlinear Control