The Cost of Monitoring Alone
Attributed to:
Solving Parity Games in Theory and Practice
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-31514-6_15
Publication URI: http://dx.doi.org/10.1007/978-3-030-31514-6_15
Type: Book Chapter
Book Title: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (2019)
Page Reference: 259-275