Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability.
Thomas Brihaye, Vronique Bruyre, Nomie Meunier, Jean-Franois Raskin
Browse the full CSL paper archive.
Thomas Brihaye, Vronique Bruyre, Nomie Meunier, Jean-Franois Raskin
Browse the full CSL paper archive.