Annual Review of Computer Science
Annual Review of Computer Science · 2017
The design and control of autonomous systems that operate in uncertain or adversarial environments can be facilitated by formal modeling and analysis. Probabilistic model checking is a technique to automatically verify, for a given temporal logic ...Read More