Pages that link to "Item:Q2925412"
From MaRDI portal
The following pages link to Verification of Agent-Based Artifact Systems (Q2925412):
Displaying 8 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Lifted model checking for relational MDPs (Q2102421) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)