Start pruning when time gets urgent: partial order reduction for timed systems
From MaRDI portal
Publication:6041133
Recommendations
Cited in
(6)- Stubborn set reduction for timed reachability and safety games
- Partial order reduction for reachability games
- Automata-driven partial order reduction and guided search for LTL model checking
- Urgent Partial Order Reduction for Extended Timed Automata
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods
- scientific article; zbMATH DE number 7649924 (Why is no real title available?)
This page was built for publication: Start pruning when time gets urgent: partial order reduction for timed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041133)