Journal article icon

Journal article

Probabilistic model checking and autonomy

Abstract:

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 specification, that a system model satisfies the specification, as well as to synthesize an optimal strategy for its control. This method has recently been extended to multiagent systems that exhibit competitive or cooperative behavior modeled via st...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1146/annurev-control-042820-010947

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Trinity College
Role:
Author
European Research Council under the European Union’s Horizon 2020 research and innovation program More from this funder
Publisher:
Annual Reviews Publisher's website
Journal:
Annual Review of Control, Robotics, and Autonomous Systems Journal website
Volume:
5
Pages:
385-410
Publication date:
2021-12-06
Acceptance date:
2021-06-29
DOI:
EISSN:
2573-5144
Language:
English
Keywords:
Pubs id:
1259383
Local pid:
pubs:1259383
Deposit date:
2022-05-13

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP