Transition Power Abstractions for Deep Counterexample Detection
Additional information
Authors
Sharygina N.,
Blicha M.,
Fedyukovich G.,
Hyvärinen A.
Type
Article in conference proceedings
Year
2022
Language
English
Meeting name
TACAS 2022
Meeting place
Munich, Germany
Meeting date
April 2-7, 2022
