Articles dans des revues avec comité de lecture (167)
  1. 53. Bohy, A., Bruyère, V., & Raskin, J.-F. (2014). Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes. Electronic proceedings in theoretical computer science, 157, 51-67. doi:10.4204/EPTCS.157.8
  2. 54. Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (2014). Expectations or guarantees? i Want It All! A crossroad between games and MDPs. Electronic proceedings in theoretical computer science, 146, 1-8. doi:10.4204/EPTCS.146.1
  3. 55. Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (2014). Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (STACS'14). Leibniz international proceedings in informatics.
  4. 56. Chatterjee, K., Doyen, L., Filiot, E., & Raskin, J.-F. (2014). Doomsday Equilibria for Omega-Regular Games (VMCAI'14). Lecture notes in computer science, 8318, 78-97. doi:10.1007/978-3-642-54013-4_5
  5. 57. Hunter, P. W., Pérez, G. G., & Raskin, J.-F. (2014). Mean-payoff games with partial-observation: (Extended Abstract). Lecture notes in computer science, 8762, 163-175.
  6. 58. Cassez, F. F., & Raskin, J.-F. (2014). Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014 Sydney, NSW, Australia, November 3-7, 2014 Proceedings. Lecture notes in computer science, 8837.
  7. 59. Chatterjee, K., Randour, M., & Raskin, J.-F. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta informatica, 51(3-4), 129-163. doi:10.1007/s00236-013-0182-6
  8. 60. Geeraerts, G., Raskin, J.-F., & Sznajder, N. (2014). On regions and zones for event-clock automata. Formal methods in system design, 45(3). doi:10.1007/s10703-014-0212-1
  9. 61. Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (2013). Synthesis from LTL specifications with mean-payoff objectives. Lecture notes in computer science.
  10. 62. Chatterjee, K., Doyen, L., Randour, M., & Raskin, J.-F. (2013). Looking at mean-payoff and total-payoff through windows. Lecture Notes in Computer Science, 8172 LNAI, 118-132. doi:10.1007/978-3-319-02444-8_10
  11. 63. Classen, A., Cordy, M., Schobbens, P.-Y., Heymans, P., Legay, A., & Raskin, J.-F. (2013). Featured transition systems: Foundations for verifying variability- intensive systems and their application to LTL model checking. I E E E Transactions on Software Engineering, 39(8), 1069-1089.
  12. 64. Juhl, L., Guldstrand Larsen, K., & Raskin, J.-F. (2013). Optimal bounds for multiweighted and parametrised energy games. Lecture Notes in Computer Science, 8051 LNCS, 244-255. doi:10.1007/978-3-642-39698-4_15
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Suivant >>