Ivana Černá
Author
Institution Masaryk University
Past institutions Masaryk University, Brno University of Technology, Comenius University Bratislava
ORCID: Yes
H-index: 22
I10-index: 43
Works count: 142
Citations count: 1,520
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
2011 · Boyan Yordanov, Jana Tůmová, et al. · IEEE Transactions on Automatic Control
DiVinE – A Tool for Distributed Verification
2006 · Jǐŕı Barnat, Luboš Brim, et al. · Lecture notes in computer science
Distributed Explicit Fair Cycle Detection (Set Based Approach)
2003 · Ivana Černá, Radek Pelánek · Lecture notes in computer science