Nathalie Cauchi
- Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
2019/01/06 by Nathalie Cauchi, Cauchi, Nathalie, Luca Laurenti +9 · 7 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- StocHy: automated verification and synthesis of stochastic processes
2019/01/29 by Nathalie Cauchi, Kurt Degiorgio, Cauchi, Nathalie +3 · 3 citations
Computer Science · #Formal Methods in Verification #Embedded Systems Design Techniques #Real-Time Systems Scheduling