MCK: Model checking the logic of knowledge
From MaRDI portal
Recommendations
Cited in
(47)- Bounded model checking for knowledge and real time
- Practical verification of multi-agent systems against \textsc{Slk} specifications
- A first-order coalition logic for BDI-agents
- Producing explanations for rich logics
- Model-based safety assessment of a triple modular generator with xSAP
- Verification and strategy synthesis for coalition announcement logic
- Populational announcement logic (PPAL)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Approximate verification of strategic abilities under imperfect information
- Terminal satisfiability in GSTE
- Formalising privacy policies in social networks
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes
- A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
- Automatic data-abstraction in model checking multi-agent systems
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
- Symbolic model checking the knowledge in Herbivore protocol
- Verified synthesis of knowledge-based programs in finite synchronous environments
- Checking EMTLK properties of timed interpreted systems via bounded model checking
- A computationally grounded, weighted doxastic logic
- An epistemic foundation for authentication logics (extended abstract)
- scientific article; zbMATH DE number 7445170 (Why is no real title available?)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
- scientific article; zbMATH DE number 140397 (Why is no real title available?)
- KBPs
- Combined model checking for temporal, probabilistic, and real-time logics
- Model checking security protocols using a logic of belief
- Verifying real-time properties of multi-agent systems via SMT-based bounded model checking
- Towards the knowledge in coalgebraic model of IDS
- Efficient model checking of causal-knowledge protocols
- Model checking knowledge and time
- scientific article; zbMATH DE number 2112166 (Why is no real title available?)
- Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
- Model checking agent knowledge in dynamic access control policies
- Program semantics and verification technique for AI-centred programs
- To know or not to know: Epistemic approaches to security protocol verification
- Second-order hyperproperties
- Counter abstraction for regular open teams
- An SMT-based approach to the verification of knowledge-based programs
- A logic for repair and state recovery in Byzantine fault-tolerant multi-agent systems
- Synthesising reward machines for cooperative multi-agent reinforcement learning
- Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
This page was built for publication: MCK: Model checking the logic of knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312933)
