Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Fedor Shmarov.

Newcastle AuthorsTitleYearFull text
Fedor Shmarov
Dr Paolo Zuliani
Probabilistic hybrid systems verification via SMT and Monte Carlo techniques2016
Fedor Shmarov
Dr Paolo Zuliani
SMT-based reasoning for uncertain hybrid domains2016