Skip to content

The complexity of admissibility in Omega-regular games.

Romain Brenguier, Jean-Franois Raskin, Mathieu Sassolas

VenueBCSL
Year2014
ProceedingsCSL-LICS

Browse the full CSL paper archive.