The following pages link to Guangyuan Li (Q920978):
Displaying 16 items.
- Medium logic and Woodruff's three-valued logic (Q920979) (← links)
- On relationships between approximate and probabilistic complexity classes (Q1326985) (← links)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) (Q2249659) (← links)
- (Q2747396) (← links)
- Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic (Q2891448) (← links)
- Improvements for the Symbolic Verification of Timed Automata (Q3614852) (← links)
- Checking Timed Büchi Automata Emptiness Using LU-Abstractions (Q3648834) (← links)
- (Q3914800) (← links)
- (Q4412502) (← links)
- (Q4574733) (← links)
- (Q4606912) (← links)
- (Q4817913) (← links)
- Lazy probabilistic model checking without determinisation (Q5357715) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395106) (← links)
- (Q5469517) (← links)
- Programming Languages and Systems (Q5902367) (← links)
