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 (187)
  9. 1. Chakraborty, D., Majumdar, A., Mathew, P., Mukherjee, S., & Raskin, J.-F. (2026). Synthesizing POMDP Policies: Sampling Meets Model-Checking via Learning. Lecture notes in computer science, 16683 LNCS, 380-402. doi:10.1007/978-3-032-32526-6_18
  10. 2. 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
  11. 3. 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
  12. 4. 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
    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 >>