The following pages link to Adam Antonik (Q2810965):
Displayed 7 items.
- On the Complexity of Semantic Self-minimization (Q2810966) (← links)
- (Q2851316) (← links)
- (Q3396636) (← links)
- Modal and mixed specifications: key decision problems and their complexities (Q3550702) (← links)
- Polynomial-Time Under-Approximation of Winning Regions in Parity Games (Q4982057) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354) (← links)