MCK

swMATH9465MaRDI QIDQ21448FDOQ21448

Author name not available (Why is that?)

Cited In (33)

• Parameterised verification for multi-agent systems
• Populational announcement logic (PPAL)
• Symbolic Model Checking for Temporal-Epistemic Logic
• Combined model checking for temporal, probabilistic, and real-time logics
• Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
• Terminal satisfiability in GSTE
• Bounded model checking for knowledge and real time
• Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments
• Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
• Automatic Data-Abstraction in Model Checking Multi-Agent Systems
• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• Checking EMTLK properties of timed interpreted systems via bounded model checking
• Connecting dynamic epistemic and temporal epistemic logics
• Model-based safety assessment of a triple modular generator with xSAP
• From Situation Calculus to Dynamic Epistemic Logic
• Formalising privacy policies in social networks
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• To know or not to know: Epistemic approaches to security protocol verification
• An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes
• Title not available (Why is that?)
• A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems
• Approximate verification of strategic abilities under imperfect information
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
• Symbolic Model Checking the Knowledge in Herbivore Protocol
• Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking
• Verification and strategy synthesis for coalition announcement logic
• Practical verification of multi-agent systems against \textsc{Slk} specifications
• A first-order coalition logic for BDI-agents
• Computer Aided Verification
• Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
• Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems

This page was built for software: MCK