Specification-guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
Dutreix, Maxence, Coogan, SamuelYear:
2020
Journal:
IEEE Transactions on Automatic Control
DOI:
10.1109/tac.2020.3014142
File:
PDF, 1.55 MB
2020