Efficient Synthesis of Robust Models for Stochastic Systems

Radu Constantin Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti

Research output: Contribution to journal › Article › peer-review

Search results