Communications publiées lors de congrès ou colloques nationaux et internationaux (23)
  1. 6. 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
  2. 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
  3. 8. 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
  4. 9. Hunter, P. W., Perez, G. A., & Raskin, J.-F. (2015). Reactive Synthesis Without Regret. In 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015: Vol. 42 (pp. 114-127). (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. doi:10.4230/LIPIcs.CONCUR.2015.114
  5. 10. 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
  6. 11. Jacobs, S., Bloem, R., Brenguier, R., K"onighofer, R., Perez, G. A., Raskin, J.-F., Ryzhyk, L., Sankur, O., Seidl, M., Tentrup, L., & Walker, A. (2015). The Second Reactive Synthesis Competition (SYNTCOMP 2015). Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015.. Vol. 202 (pp. 27-57). doi:10.4204/EPTCS.202.4
  7. 12. Brenguier, R., Raskin, J.-F., & Sassolas, M. (2014). The complexity of admissibility in Omega-regular games. Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (p. 23).
  8. 13. Brenguier, R., Perez, G. A., Raskin, J.-F., & Sankur, O. (2014). AbsSynthe: abstract synthesis from succinct safety specifications. Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014.. Vol. 157 (pp. 100-116). doi:10.4204/EPTCS.157.11
  9. 14. Hunter, P. W., Perez, G. A., & Raskin, J.-F. (2014). Mean-Payoff Games with Partial-Observation - (Extended Abstract). In Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings: Vol. 8762 (pp. 163-175). (Lecture Notes in Computer Science). Springer. doi:10.1007/978-3-319-11439-2_13
  10. 15. Brenguier, R., Cassez, F. F., & Raskin, J.-F. (2014). Energy and mean-payoff timed games. Proceedings of the 17th international conference on Hybrid systems: computation and control (pp. 283-292).
  11. 16. Kremer, S., & Raskin, J.-F. (2002). Game Analysis of Abuse-Free Contract Signing. Proceedings of BNAIC’02: Belgium-Netherlands Conference on Articifial intelligence (pp. 457-458) (Leuven).
  12. 17. Ammirati, P., Delzanno, G., Ganty, P., Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2002). Babylon: An integrated Toolkit for the Specification and Verification of Parameterized Systems. Proceedings of the SAVE’02 workshop, satellite event of ETAPS’02 (p. 6p.).
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Suivant >>