Synthesis of Succinct Systems
Attributed to:
Synthesis and Verification in Markov Game Structures
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-33386-6_18
PubMed Identifier: 36407890
Publication URI: http://europepmc.org/abstract/MED/36407890
Type: Book Chapter
Book Title: Automated Technology for Verification and Analysis (2012)
Page Reference: 208-222
ISBN: 978-3-642-33385-9
ISSN: 2731-5525