共 50 条
- [41] From LTL to deterministic automata [J]. FORMAL METHODS IN SYSTEM DESIGN, 2016, 49 (03) : 219 - 271
- [43] A hybrid algorithm for LTL games [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 309 - +
- [45] An Antichain Algorithm for LTL Realizability [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 263 - 277
- [47] Bounded verification of past LTL [J]. FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2004, 3312 : 245 - 259
- [48] LTL planning for groups of robots [J]. PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, 2006, : 578 - 583
- [49] LTL trailer pool modeling [J]. 1997 INTERNATIONAL CONFERENCE ON SIMULATION IN ENGINEERING EDUCATION (ICSEE'97), 1997, 29 (02): : 112 - 117
- [50] LTL -: The Little Template Library [J]. ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS XIII, 2004, 314 : 456 - 459