Pages that link to "Item:Q1706163"

The following pages link to First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163):

Displaying 7 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)
• Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)