Transition Power Abstractions for Deep Counterexample Detection
Informazioni aggiuntive
Autori
Sharygina N.,
Blicha M.,
Fedyukovich G.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2022
Lingua
Inglese
Nome convegno
TACAS 2022
Luogo convegno
Munich, Germany
Data convegno
April 2-7, 2022
