Wanwei Liu

Available identifiers

zbMath Open liu.wanweiMaRDI QIDQ364385

List of research outcomes

Publication	Date of Publication	Type
Reach-avoid verification based on convex optimization	2024-07-21	Paper
Computing sufficient and necessary conditions in CTL: a forgetting approach	2024-04-11	Paper
Human-cyber-physical automata and their synthesis	2023-07-28	Paper
Reasoning About Periodicity on Infinite Words	2022-11-04	Paper
Compiling \(\mathrm{FL}^\mathrm{res}\) on finite words	2022-09-01	Paper
Counterexample-preserving reduction for symbolic model checking	2019-11-19	Paper
An efficient synthesis algorithm for parametric Markov chains against linear time properties	2018-08-16	Paper
Counterexample-Preserving Reduction for Symbolic Model Checking	2013-10-04	Paper
Bounded model checking of ETL cooperating with finite and looping automata connectives	2013-09-09	Paper
A tighter analysis of Piterman's Büchi determinization	2010-08-20	Paper
Axiomatizing Extended Temporal Logic Fragments Via Instantiation	2008-09-17	Paper

Research outcomes over time

This page was built for person: Wanwei Liu