Pages that link to "Item:Q5394178"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394178):
Displaying 11 items.
- Planning as satisfiability: heuristics (Q359984) (← links)
- Exploiting step semantics for efficient bounded model checking of asynchronous systems (Q436411) (← links)
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918) (← links)
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166) (← links)
- Planning as satisfiability: parallel plans and algorithms for plan search (Q2457605) (← links)
- SAT-Based Synthesis Methods for Safety Specs (Q2938057) (← links)
- A Canonical Contraction for Safe Petri Nets (Q3452474) (← links)
- (Q3504339) (← links)
- On the Construction of Pullbacks for Safe Petri Nets (Q3618704) (← links)
- Properties of Plain, Pure, and Safe Petri Nets (Q4994075) (← links)
- SMT-Based Reachability Checking for Bounded Time Petri Nets (Q5259305) (← links)