The following pages link to Wanwei Liu (Q364385):
Displayed 10 items.
- Bounded model checking of ETL cooperating with finite and looping automata connectives (Q364388) (← links)
- A tighter analysis of Piterman's Büchi determinization (Q989532) (← links)
- An efficient synthesis algorithm for parametric Markov chains against linear time properties (Q1660783) (← links)
- Compiling \(\mathrm{FL}^\mathrm{res}\) on finite words (Q2169114) (← links)
- Counterexample-preserving reduction for symbolic model checking (Q2336646) (← links)
- Counterexample-Preserving Reduction for Symbolic Model Checking (Q2851910) (← links)
- Axiomatizing Extended Temporal Logic Fragments Via Instantiation (Q3525094) (← links)
- Reasoning About Periodicity on Infinite Words (Q5045386) (← links)
- Human-cyber-physical automata and their synthesis (Q6109469) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)