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). Controller synthesis: the HYDAC case study. In QUASIMODO handbook. Springer.
  4. 3. Cassez, F. F., Larsen, K. G., Raskin, J.-F., & Reynier, P.-A. (2013). An introduction to controller synthesis. 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 (167)
  9. 1. Esparza, J., Křetínský, J., Raskin, J.-F., & Sickert, S. (2022). From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata. International journal on software tools for technology transfer, 24(4), 635-659. doi:10.1007/s10009-022-00663-1
  10. 2. Brice, L., Raskin, J.-F., & Van Den Bogaard, M. (2021). Subgame-Perfect Equilibria in Mean-Payoff Games. Leibniz international proceedings in informatics, 203, 81-817. doi:10.4230/LIPIcs.CONCUR.2021.8
  11. 3. Balachander, M., Guha, S., & Raskin, J.-F. (2021). Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games. Leibniz international proceedings in informatics, 203. doi:10.4230/LIPIcs.CONCUR.2021.9
  12. 4. Filiot, E., Mazzocchi, N., Raskin, J.-F., Sankaranarayanan, S., & Trivedi, A. (2020). Weighted transducers for robustness verification. Leibniz international proceedings in informatics, 171, 17, 171-1721. doi:10.4230/LIPIcs.CONCUR.2020.17
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Suivant >>