PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. (2018)
Attributed to:
Mobile Robotics: Enabling a Pervasive Technology of the Future
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/s10009-017-0476-z
PubMed Identifier: 31258390
Publication URI: http://europepmc.org/abstract/MED/31258390
Type: Journal Article/Review
Volume: 20
Parent Publication: International journal on software tools for technology transfer : STTT
Issue: 2
ISSN: 1433-2779