Irena Schindler

Recent Publications

Backdoors for Linear Temporal Logic

2016