Pages that link to "Item:Q2372185"

The following pages link to Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185):

Displaying 19 items.

• Parameterised verification for multi-agent systems (Q253980) (← links)
• Refining autonomous agents with declarative beliefs and desires (Q520236) (← links)
• Where logic and agents meet (Q657584) (← links)
• A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria (Q747538) (← links)
• Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
• Bounded model checking for knowledge and real time (Q1028970) (← links)
• Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
• Minimal belief and negation as failure in multi-agent systems (Q1861897) (← links)
• Security invariants in discrete transition systems (Q1941889) (← links)
• Model checking and strategy synthesis for multi-agent systems for resource allocation (Q2154045) (← links)
• Towards Verification of Dialogue Protocols: A Mathematical Model (Q2814138) (← links)
• An Epistemic Predicate CTL* for Finite Control π-Processes (Q2825420) (← links)
• Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall (Q3393383) (← links)
• Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
• Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic (Q3614879) (← links)
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
• Functional systems in the context of temporal×modal logics with indexed flows (Q3643153) (← links)