Conference papers

Journal articles

PhD thesis

Synthesis and Control of Infinite-State Systems with Partial Observability