Recent
- Liveness Verification and Synthesis: New Algorithms for Recursive Programs,
by , , and .
arXiv - Fast Witness Counting,
by , , , and .
arXiv - Munchausen Iteration,
by and .
arXiv - Petri Net Invariant Synthesis,
by and .
NETYS 2021