Wanwei Liu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reach-avoid verification based on convex optimization IEEE Transactions on Automatic Control	2024-07-21	Paper
Computing sufficient and necessary conditions in CTL: a forgetting approach Information Sciences	2024-04-11	Paper
Human-cyber-physical automata and their synthesis Lecture Notes in Computer Science	2023-07-28	Paper
Reasoning about periodicity on infinite words Dependable Software Engineering. Theories, Tools, and Applications	2022-11-04	Paper
Compiling \(\mathrm{FL}^\mathrm{res}\) on finite words	2022-09-01	Paper
Counterexample-preserving reduction for symbolic model checking Journal of Applied Mathematics	2019-11-19	Paper
An efficient synthesis algorithm for parametric Markov chains against linear time properties (available as arXiv preprint)	2018-08-16	Paper
Counterexample-preserving reduction for symbolic model checking Theoretical Aspects of Computing – ICTAC 2013	2013-10-04	Paper
Counterexample-preserving reduction for symbolic model checking Theoretical Aspects of Computing – ICTAC 2013	2013-10-04	Paper
Bounded model checking of ETL cooperating with finite and looping automata connectives Journal of Applied Mathematics	2013-09-09	Paper
A tighter analysis of Piterman's Büchi determinization Information Processing Letters	2010-08-20	Paper
Axiomatizing Extended Temporal Logic Fragments Via Instantiation Theoretical Aspects of Computing – ICTAC 2007	2008-09-17	Paper

Research outcomes over time

This page was built for person: Wanwei Liu