Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).

Sat, 01 Jan 2022 00:00:00 +0100

Zsófia Ádám , Levente Bajczi , Mihály Dobos-Kovács , Ákos Hajdu , Vince Molnár :
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). TACAS (2) 2022: 474-478