Ouvrages édités à titre de seul éditeur ou en collaboration (1)
  1. 1. Raskin, J.-F., & Thiaragajan, P. (2007). Proceedings of the ”Formal Modeling and Analysis of Timed Systems, 5th international conference. Springer.
    2.   Parties d'ouvrages collectifs (7)
  2. 1. Majumdar, R. R., & Raskin, J.-F. (2010). Symbolic Model-checking in non Boolean Domains. In Handbook of Model-Checking (p. 20). Springer. doi:10.1007/978-3-319-10575-8_31
  3. 2. Cassez, F. F., Larsen, K. G., Raskin, J.-F., & Reynier, P.-A. (2013). An introduction to controller synthesis. In Quasimodo Handbook. Springer.
  4. 3. Cassez, F. F., Larsen, K. G., Raskin, J.-F., & Reynier, P.-A. (2013). Controller synthesis: the HYDAC case study. In QUASIMODO handbook. Springer.
  5. 4. Raskin, J.-F. (2016). A Tutorial on mean-payoff and energy games. In Dependable Software Systems Engineering (pp. 179-201). IOS Press. doi:10.3233/978-1-61499-627-9-179
  6. 5. Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (2013). Synthesis from LTL specifications with mean-payoff objectives. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 169-184). Springer Berlin Heidelberg.
  7. 6. Doyen, L., & Raskin, J.-F. (2010). Games with Imperfect Information: Theory and Algorithms. In Lectures on Games Theory for the Computer Scientist (pp. 185-212). Cambridge University Press. doi:10.1017/CBO9780511973468.007
  8. 7. Raskin, J.-F. (2005). An Introduction to Hybrid Automata. In D. Hristu Varsakelis & W. S. Levine (Eds.), Handbook of Networked and Embedded Control Systems. Birkhauser, Springer Verlag.
    9.   Articles dans des revues avec comité de lecture (186)
  9. 1. Balachander, M., Filiot, E., & Raskin, J.-F. (2025). LTL Reactive Synthesis with a Few Hints. Journal of automated reasoning, 69(3), 24. doi:10.1007/s10817-025-09737-6
  10. 2. Bruyère, V., Fievet, B., Raskin, J.-F., & Tamines, C. (2024). Stackelberg-Pareto Synthesis. ACM transactions on computational logic, 25(2), 14. doi:10.1145/3651162
  11. 3. Busatto-Gaston, D., Chakraborty, D., Majumdar, A., Mukherjee, S., Perez, G. A., & Raskin, J.-F. (2023). Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. Lecture notes in computer science, 14215 LNCS, 203-223. doi:10.1007/978-3-031-45329-8_10
  12. 4. Brice, L., Raskin, J.-F., & Van Den Bogaard, M. (2023). Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games. Leibniz international proceedings in informatics, 272, 26. doi:10.4230/LIPIcs.MFCS.2023.26
    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 >>