Pages that link to "Item:Q2852020"
From MaRDI portal
The following pages link to Action planning for directed model checking of Petri nets (Q2852020):
Displaying 6 items.
- Automated planning as an early verification tool for distributed control (Q2352501) (← links)
- Action failure recovery via model-based diagnosis and conformant planning (Q2857292) (← links)
- Planning without state space explosion: Petri net to Markov decision process (Q3393989) (← links)
- Directed Unfolding of Petri Nets (Q3599218) (← links)
- Property Directed Reachability for Automated Planning (Q4979439) (← links)
- Fast and accurate data-driven goal recognition using process mining techniques (Q6080644) (← links)