Ing.

Martin Hruška

Ph.D.

Member of Workgroup

+420 54114 1331
ihruska@fit.vut.cz
A220 Office
140515/BUT personal ID

Other Results

2017

Counterexample Validation and Interpolation-Based Refinement for Forest Automata, report, 2017
Authors: HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T.