| emsoft | participants

Paul Bogdan

Program Committees:
2016 and 2017
.

EMSOFT 2019: 19th International Conference on Embedded Software

Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach

Panagiotis Kyriakis, Jyotirmoy V. Deshmukh, and Paul Bogdan