Practical controller synthesis for MTL<sub>0, ∞</sub>

Article Details
Title:	Practical controller synthesis for MTL_{0, ∞}
Article URLs:	https://doi.org/10.1145/3092282.3092303
Alternative Article URLs:
Authors:	Guangyuan Li	CAS, State Key Lab. of Computer Science UCAS, School of Computer and Control Engineering
	Peter Gjøl Jensen	Aalborg University, Computer Science
	Kim Guldstrand Larsen	Aalborg University, Computer Science
	Axel Legay	INRIA
	Danny Bøgsted Poulsen	Christian-Albrechts University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/spin/LiJLLP17
Author Comments:

Intl. Symposium on Model Checking Software, SPIN 2017