activity
20102023
most citedCounterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

3 citations · 12 across the 15 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.FL2019

Simulations in Rank-Based Büchi Automata Complementation (Technical Report)

Yu-Fang Chen, Vojtěch Havlena, Ondřej Lengál

Complementation of Büchi automata is an essential technique used in some approaches for termination analysis of programs. The long search for an optimal complementation constructio…