EXPTIME-complete decision problems for modal and mixed specifications
DOI10.1016/J.ENTCS.2009.06.011zbMATH Open1291.68172OpenAlexW2120514221MaRDI QIDQ5170664FDOQ5170664
Authors: Adam Antonik, Michael Huth, Ulrik Nyman, Andrzej Wąsowski, Kim G. Larsen 
Publication date: 23 July 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.011
Recommendations
- Modal and mixed specifications: key decision problems and their complexities
- Complexity of Decision Problems for Mixed and Modal Specifications
- EXPTIME-completeness of thorough refinement on modal transition systems
- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
- On Modal Refinement and Consistency
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Alternation
- State explosion in almost-sure probabilistic reachability
- Modal I/O Automata for Interface and Product Line Theories
- 20 years of modal and mixed specifications.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Comparing disjunctive modal transition systems with an one-selecting variant
- Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
- On Modal Refinement and Consistency
- Complexity of Decision Problems for Mixed and Modal Specifications
- On model checking multiple hybrid views
- Automata games for multiple-model checking
- Labelled transition systems as a Stone space
- On the complexity of semantic self-minimization
Cited In (6)
- Modal and mixed specifications: key decision problems and their complexities
- EXPTIME-completeness of thorough refinement on modal transition systems
- Complexity of Decision Problems for Mixed and Modal Specifications
- On the consistency, expressiveness, and precision of partial modeling formalisms
- 20 years of modal and mixed specifications.
- Simulation relations and applications in formal methods
This page was built for publication: EXPTIME-complete decision problems for modal and mixed specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5170664)
