scientific article; zbMATH DE number 88991
From MaRDI portal
Publication:4016548
Cited in
(19)- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- View-based explicit knowledge
- Common knowledge and update in finite environments
- Defaults in domain theory
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
- Obligation as optimal goal satisfaction
- A proof theory for model checking
- On the logic of cooperation and propositional control
- Symbolic model checking the knowledge in Herbivore protocol
- scientific article; zbMATH DE number 5148400 (Why is no real title available?)
- Abstraction for model checking multi-agent systems
- The High Road to Formal Validation:
- scientific article; zbMATH DE number 140397 (Why is no real title available?)
- scientific article; zbMATH DE number 1517022 (Why is no real title available?)
- Alternating automata: unifying truth and validity checking for temporal logics
- Verification from Declarative Specifications Using Logic Programming
- Belief revision and update: Complexity of model checking
- To know or not to know: Epistemic approaches to security protocol verification
- Inferential knowledge and epistemic dimensions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4016548)
