Pages that link to "Item:Q1706163"
From MaRDI portal
The following pages link to First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163):
Displayed 8 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Lifted model checking for relational MDPs (Q2102421) (← links)
- CTL* model checking for data-aware dynamic systems with arithmetic (Q2104496) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Are bundles good deals for first-order modal logic? (Q6116193) (← links)
- From DB-nets to Coloured Petri Nets with Priorities (Q6144227) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)