Pages that link to "Item:Q3166991"

The following pages link to Specification and Verification of Multi-Agent Systems (Q3166991):

Displaying 26 items.

• Parameterised verification for multi-agent systems (Q253980) (← links)
• Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
• Multi-agent systems specification and certification: a situation and state calculus approach (Q596479) (← links)
• Logical formalism for specification of real-time multiagent systems (Q945994) (← links)
• On feasible cases of checking multi-agent systems behavior. (Q1401355) (← links)
• Compositional verification of multi-agent systems in temporal multi-epistemic logic (Q1610622) (← links)
• Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
• A first-order coalition logic for BDI-agents (Q1712430) (← links)
• Minimal belief and negation as failure in multi-agent systems (Q1861897) (← links)
• Verification of multi-agent systems with timeouts for migration and communication (Q2279119) (← links)
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
• A verification framework for agent programming with declarative goals (Q2372188) (← links)
• From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
• Formal specification of multi-agent e-barter systems (Q2485279) (← links)
• On complexity of verification of interacting agents' behavior (Q2498917) (← links)
• Verification of agent-based artifact systems (Q2925412) (← links)
• A requirement specification language for configuration dynamics of multiagent systems (Q3156904) (← links)
• Executable specification of open multi-agent systems (Q3550952) (← links)
• Specification and Verification of Multi-agent Systems (Q3576330) (← links)
• Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework (Q3613464) (← links)
• Tableau methods for formal verification of multi-agent distributed systems (Q4209290) (← links)
• (Q4413373) (← links)
• (Q4473435) (← links)
• (Q4576181) (← links)
• Distributed Computing - IWDC 2004 (Q5465891) (← links)
• Deontic Logic in Computer Science (Q5901590) (← links)