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



Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games


par Bruyère, Véronique;Filiot, Emmanuel ;Randour, Mickael ;Raskin, Jean-François
Référence Information and computation, 254, 2, page (259-295)
Publication Publié, 2017-06
Article révisé par les pairs
  • Accès en ligne
  • Détails
  • Contenu
  • Statistiques

Documents en relation

DI-fusion

  • Greybox Learning of Languages Recognizable by Event-Recording Automata
    par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
    Publication 2025
  • Stackelberg-Pareto Synthesis
    par Bruyère, Véronique , Fievet, Baptiste , Raskin, Jean-François , Tamines, Clément
    Publication 2024-04-01
  • Algorithms for Robbins' Problem Using Markov Decision Processes
    par Brice, Léonard , Bruss, F Thomas , Majumdar, Anirban , Raskin, Jean-François
    Publication Springer, 2024-11-13
  • SynthLearn: A Tool for Guided Reactive Synthesis
    par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
    Publication Springer, 2024
  • Metacontrol - A framework that simplifies the development of adaptive actors
    par Oviedo, Mario Garzon , Pezzato, Corrado , Gines, Jonatan , Bozhinoski, Darko , Corbato, Carlos Hernandez , Martín, Francisco
    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)