Articles dans des revues avec comité de lecture (185)
  1. 185. Raskin, J.-F., & Schobbens, P.-Y. (1997). Real-time Logics: Fictitious Clock as an Abstraction of Dense Time. Lecture notes in computer science, 1217, 165-182.
    2.   Communications publiées lors de congrès ou colloques nationaux et internationaux (25)
  2. 1. Brice, L., Bruss, F. T., Majumdar, A., & Raskin, J.-F. (2024). Algorithms for Robbins' Problem Using Markov Decision Processes. In Principles of Verification: Cycling the Probabilistic Landscape: Vol. 15261 (pp. 18-45). (Lecture Notes in Computer Science). Springer.
  3. 2. Balachander, M., Filiot, E., & Raskin, J.-F. (2024). SynthLearn: A Tool for Guided Reactive Synthesis. In Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday: Vol. 14660 (pp. 51-71). (Lecture Notes in Computer Science). Springer. doi:10.1007/978-3-031-56222-8_3
  4. 3. Balachander, M., Filiot, E., & Raskin, J.-F. (2023). LTL Reactive Synthesis with a Few Hints. In Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II: Vol. 13994 (pp. 309-328). (Lecture Notes in Computer Science). Springer. doi:10.1007/978-3-031-30820-8_20
  5. 4. Busatto-Gaston, D., Chakraborty, D., & Raskin, J.-F. (2020). Monte Carlo Tree Search Guided by Symbolic Advice for MDPs. 31st International Conference on Concurrency Theory (CONCUR 2020). Vol. 171 (pp. 40:1-40:24). doi:10.4230/LIPIcs.CONCUR.2020.40
  6. 5. Chatterjee, K., Novotn'y, P., Perez, G. A., Raskin, J.-F., & Zikelic, D. (2017). Optimizing Expectation with Guarantees in POMDPs. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. (pp. 3725-3732) AAAI Press.
  7. 6. Hunter, P. W., Perez, G. A., & Raskin, J.-F. (2016). Minimizing Regret in Discounted-Sum Games. In 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France: Vol. 62 (pp. 30:1-30:17). (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. doi:10.4230/LIPIcs.CSL.2016.30
  8. 7. Brenguier, R., Pérez, G. G., Raskin, J.-F., & Sankur, O. (2016). Admissibility in Quantitative Graph Games. In 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India: Vol. 65 (pp. 42:1-42:14). (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. doi:10.4230/LIPIcs.FSTTCS.2016.42
  9. 8. Brenguier, R., Clemente, L., Hunter, P. W., Perez, G. A., Randour, M., Raskin, J.-F., Sankur, O., & Sassolas, M. (2016). Non-Zero Sum Games for Reactive Synthesis. In Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings: Vol. 9618 (pp. 3-23). (Lecture Notes in Computer Science). Springer. doi:10.1007/978-3-319-30000-9_1
  10. 9. Jacobs, S., Bloem, R., Brenguier, R., Khalimov, A., Klein, F., K"onighofer, R., Kreber, J., Legg, A., Narodytska, N., Pérez, G. G., Raskin, J.-F., Ryzhyk, L., Sankur, O., Seidl, M., Tentrup, L., & Walker, A. (2016). The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants AND Results. Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.. Vol. 229 (pp. 149-177). doi:10.4204/EPTCS.229.12
  11. 10. Brenguier, R., Perez, G. A., Raskin, J.-F., & Sankur, O. (2015). Compositional Algorithms for Succinct Safety Games. Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015.. Vol. 202 (pp. 98-111). doi:10.4204/EPTCS.202.7
  12. 11. Hunter, P. W., Pérez, G. G., & Raskin, J.-F. (2015). Looking at Mean-Payoff Through Foggy Windows. In Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: Vol. 9364 (pp. 429-445). (Lecture Notes in Computer Science). Springer. doi:10.1007/978-3-319-24953-7_31
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Suivant >>