Jǐŕı Barnat
Author
Institution Masaryk University
Past institutions Masaryk University, Brno University of Technology
ORCID: Yes
H-index: 25
I10-index: 59
Works count: 144
Citations count: 2,018
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
2011 · Boyan Yordanov, Jana Tůmová, et al. · IEEE Transactions on Automatic Control
Distributed LTL model-checking in SPIN
2001 · Jǐŕı Barnat, Luboš Brim, et al. · International workshop on Model Checking Software
Computing Strongly Connected Components in Parallel on CUDA
2011 · Jǐŕı Barnat, Petr Bauch, et al.