scholarly journals Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

2014 ◽  
pp. 391-406 ◽  
Author(s):  
Henri Hansen ◽  
Shang-Wei Lin ◽  
Yang Liu ◽  
Truong Khanh Nguyen ◽  
Jun Sun
Keyword(s):  
Partial Order ◽  
Timed Automata ◽  
Order Reduction ◽  
Partial Order Reduction ◽  
Best Friend

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory

Partial-Order Reduction for Supervisory Controller Synthesis

2021 ◽  
pp. 1-1
Author(s):  
Bram Vandersanden ◽  
Marc Geilen ◽  
Michel Reniers ◽  
Twan Basten
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Controller Synthesis ◽  
Partial Order Reduction ◽  
Supervisory Controller
Sign in / Sign up

Export Citation Format

Share Document