Department of Intelligent Systems

Publications

Author:
Title:
Keywords:
From year: Years:
Type:
   
2019GOLDMANN Tomáš, KANICH Ondřej and DRAHANSKÝ Martin. Generation and analysis of face data. Brno, 2019.
 GOLDMANN Tomáš, KANICH Ondřej and DRAHANSKÝ Martin. Multisensoric board usable on drone. Brno, 2019.
2018HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca, 2018.
 KANICH Ondřej and DRAHANSKÝ Martin. Weapon Detection. Report of Project No. VI20172020068 - 2017 - Brno, 2018.
2017CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017.
 DRAHANSKÝ Martin, DVOŘÁK Michal, LUŽA Radim, RITTER Walter, KÜNZ Andreas, KEMPTER Guido, MOHELNÍKOVÁ Jitka and MOHELNÍK Petr. Measurement of light sources. Brno: Faculty of Information Technology BUT, 2017.
 FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. arXiv:1701.06282, 2017.
 HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam and VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. Brno: Faculty of Information Technology BUT, 2017.

Your IPv4 address: 54.198.246.164
Switch to https