(en) Giuseppe De Giacomo, Luca Iocchi, Marco Favorito et Fabio Patrizi, « Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications », Proceedings of the International Conference on Automated Planning and Scheduling, vol. 29, , p. 128–136 (ISSN2334-0843, lire en ligne, consulté le )
Giuseppe De Giacomo et Moshe Y. Vardi, « Synthesis for LTL and LDL on finite traces », IJCAI, AAAI Press, , p. 1558–1564 (ISBN9781577357384, lire en ligne, consulté le )
Mohammadhosein Hasanbeig, Alessandro Abate et Daniel Kroening, « Logically-Constrained Neural Fitted Q-iteration », Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, aAMAS '19, , p. 2012–2014 (ISBN978-1-4503-6309-9, lire en ligne, consulté le )
Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano et Sheila A. McIlraith, « Teaching Multiple Tasks to an RL Agent Using LTL », Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, aAMAS '18, , p. 452–461 (lire en ligne, consulté le )
Jie Fu et Ufuk Topcu, « Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints », arXiv:1404.7073 [cs], (lire en ligne, consulté le )
D. Sadigh, E. S. Kim, S. Coogan et S. S. Sastry, « A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications », 53rd IEEE Conference on Decision and Control, , p. 1091–1096 (DOI10.1109/CDC.2014.7039527, lire en ligne, consulté le )
(en) A. Prasad Sistla, Moshe Y. Vardi et Pierre Wolper, « The complementation problem for Büchi automata with applications to temporal logic », Theoretical Computer Science, vol. 49, no 2, , p. 217–237 (ISSN0304-3975, DOI10.1016/0304-3975(87)90008-9, lire en ligne, consulté le )
D. Sadigh, E. S. Kim, S. Coogan et S. S. Sastry, « A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications », 53rd IEEE Conference on Decision and Control, , p. 1091–1096 (DOI10.1109/CDC.2014.7039527, lire en ligne, consulté le )
issn.org
portal.issn.org
(en) Giuseppe De Giacomo, Luca Iocchi, Marco Favorito et Fabio Patrizi, « Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications », Proceedings of the International Conference on Automated Planning and Scheduling, vol. 29, , p. 128–136 (ISSN2334-0843, lire en ligne, consulté le )
(en) A. Prasad Sistla, Moshe Y. Vardi et Pierre Wolper, « The complementation problem for Büchi automata with applications to temporal logic », Theoretical Computer Science, vol. 49, no 2, , p. 217–237 (ISSN0304-3975, DOI10.1016/0304-3975(87)90008-9, lire en ligne, consulté le )
mit.edu
mitpress.mit.edu
Sec. 5.1 of Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press [1]
psu.edu
citeseerx.ist.psu.edu
(en) A. Pnueli et R. Rosner, « On the synthesis of a reactive module », 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (conférence), (lire en ligne, consulté le )
sciencedirect.com
(en) A. Prasad Sistla, Moshe Y. Vardi et Pierre Wolper, « The complementation problem for Büchi automata with applications to temporal logic », Theoretical Computer Science, vol. 49, no 2, , p. 217–237 (ISSN0304-3975, DOI10.1016/0304-3975(87)90008-9, lire en ligne, consulté le )
