Pages that link to "Item:Q2372185"
From MaRDI portal
The following pages link to Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185):
Displaying 25 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Refining autonomous agents with declarative beliefs and desires (Q520236) (← links)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- Where logic and agents meet (Q657584) (← links)
- Compositional verification of a multi-agent system for one-to-many negotiation (Q702806) (← 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 \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-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)
- Symbolic verification of multiagent graphical decision models (Q3548689) (← 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)
- Tableau methods for formal verification of multi-agent distributed systems (Q4209290) (← links)
- Verification of DAG structures in cooperative belief network-based multiagent systems (Q4540046) (← links)
- Verification of heterogeneous multi-agent system using MCMAS (Q5265639) (← links)
