共 50 条
- [31] Optimizations for LTL synthesis [J]. PROCEEDINGS OF FORMAL METHODS IN COMPUTER AIDED DESIGN, 2006, : 117 - +
- [33] Evaluation of adsorption of cationic dyes on H-LTL and K-LTL zeolite [J]. Journal of Porous Materials, 2014, 21 : 345 - 354
- [35] A survey on alliances in graphs: Defensive alliances [J]. UTILITAS MATHEMATICA, 2017, 105 : 141 - 172
- [36] LTL2Action: Generalizing LTL Instructions for Multi-Task RL [J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139, 2021, 139 : 7512 - 7523
- [38] SynKit: LTL Synthesis as a Service [J]. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5817 - 5819
- [39] A quick axiomatisation of LTL with past [J]. MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (01) : 83 - 88
- [40] Compositional Algorithms for LTL Synthesis [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 112 - 127