Guangyuan Li

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4574733	2018-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4606912	2018-03-09	Paper
Lazy probabilistic model checking without determinisation	2017-09-12	Paper
Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)	2014-07-03	Paper
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic	2012-06-15	Paper
Programming Languages and Systems	2010-01-05	Paper
Checking Timed Büchi Automata Emptiness Using LU-Abstractions	2009-12-01	Paper
Improvements for the Symbolic Verification of Timed Automata	2009-03-10	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5469517	2006-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q4817913	2004-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4412502	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2747396	2001-10-14	Paper
On relationships between approximate and probabilistic complexity classes	1994-06-15	Paper
Medium logic and Woodruff's three-valued logic	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914800	1981-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guangyuan Li