Rational Verification for Probabilistic Systems
- Julian Gutierrez
- , Lewis Hammond
- , Anthony W. Lin
- , Muhammad Najib
- , Michael Wooldridge
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
12
Link opens in a new tab
Citations
(Scopus)