research
∙
05/08/2018
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems
We give a direct polynomial-time reduction from parity games played over...
share
research
∙
03/26/2018
Bounded Context Switching for Valence Systems
We study valence systems, finite-control programs over infinite-state me...
research
∙
05/02/2016
