Natural projection as partial model checking
From MaRDI portal
Publication:2208303
DOI10.1007/s10817-020-09568-7zbMath1468.68124OpenAlexW3049031068MaRDI QIDQ2208303
Pierpaolo Degano, Chiara Bodei, Letterio Galletta, Gabriele Costa, David A. Basin
Publication date: 2 November 2020
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-020-09568-7
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On a structural property in the state complexity of projected regular languages
- Results on the propositional \(\mu\)-calculus
- Near-optimal online control of dynamic discrete-event systems
- Modal specifications for the control theory of discrete event systems
- Modular supervisory control of discrete-event systems
- Games for synthesis of controllers with partial observation.
- Supervisory control of discrete-event systems
- Decentralized supervisory control of discrete-event systems
- Partial model checking of modal equations: a survey
- The power of symbolic automata and transducers
- From natural projection to partial model checking and back
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
- Expressiveness modulo bisimilarity of regular expressions with parallel composition
- Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
- Global and local consistencies in distributed fault diagnosis for discrete-event systems
- Applications of Symbolic Finite Automata
- Monadic second-order logic on finite sequences
- Mathematical Foundations of Computer Science 2003
- On the computation of natural observers in discrete-event systems
