Strategy Synthesis for Autonomous Agents Using PRISM

First Author: Giaquinta R
Attributed to:  C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-77935-5_16

Publication URI: http://dx.doi.org/10.1007/978-3-319-77935-5_16

Type: Book Chapter

Book Title: NASA Formal Methods (2018)

Page Reference: 220-236