DIfusion ULB
Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |
   Français  Anglais
  • Citer



The complexity of subgame perfect equilibria in quantitative reachability games


par Brihaye, Thomas;Bruyère, Véronique;Goeminne, Aline ;Raskin, Jean-François ;Van Den Bogaard, Marie
Référence Leibniz international proceedings in informatics, 140, 13
Publication Publié, 2019-08-01
Article révisé par les pairs
  • Accès en ligne
  • Détails
  • Contenu
  • Statistiques

Documents en relation

DI-fusion

  • The complexity of subgame perfect equilibria in quantitative reachability games
    par Brihaye, Thomas , Bruyère, Véronique , Goeminne, Aline , Raskin, Jean-François , Van Den Bogaard, Marie
    Publication 2020-06-01
  • Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games
    par Brice, Léonard , Raskin, Jean-François , Van Den Bogaard, Marie
    Publication 2023-08-01
  • LTL Reactive Synthesis with a Few Hints
    par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
    Publication 2025-09-01
  • The Complexity of SPEs in Mean-Payoff Games
    par Brice, Léonard , Raskin, Jean-François , Van Den Bogaard, Marie
    Publication 2022-07-01
  • Greybox Learning of Languages Recognizable by Event-Recording Automata
    par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
    Publication 2025
Référencement Visibilité Pérennité Facilité
 Les publications encodées constituent la bibliographie académique de l'Université.
 Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).  Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).  Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.
Conditions d'utilisation - Version : 4.1 (2019) 
Exporter la liste de :   
Loading
Fermer
Export bibliographie


Depuis :             Jusqu'à :    




Oui (Non est la valeur par défaut)

Oui (Non est la valeur par défaut)

Oui (Non est la valeur par défaut)