Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis
Συγγραφείς:	Heim, Philippe, Dimitrova, Rayna
Πηγή:	Proceedings of the ACM on Programming Languages. 9(POPL):1536-1567
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3704888
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	24751421
DOI:	10.1145/3704888