Academic Journal
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 |
καταχωρήστε σχόλιο πρώτοι!