Jan Havlícek

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Transition Systems

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser
DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. CAV (2013)
Jiri Barnat, Jan Havlícek, Petr Rockai
Distributed LTL Model Checking with Hash Compaction. Electron. Notes Theor. Comput. Sci. 296 (2013)
Rudolf Kadlec, Jakub Gemrot, Michal Bída, Ondrej Burkert, Jan Havlícek, Lukás Zemcák, Radek Píbil, Radim Vansa, Cyril Brom
Extensions and Applications of Pogamut 3 Platform. IVA (2009)
Jakub Gemrot, Rudolf Kadlec, Michal Bída, Ondrej Burkert, Radek Píbil, Jan Havlícek, Lukás Zemcák, Juraj Simlovic, Radim Vansa, Michal Stolba, Tomás Plch, Cyril Brom
Pogamut 3 Can Assist Developers in Building AI (Not Only) for Their Videogame Agents. AGS (2009)
Ondrej Burkert, Rudolf Kadlec, Jakub Gemrot, Michal Bída, Jan Havlícek, Martin Dörfler, Cyril Brom
Towards Fast Prototyping of IVAs Behavior: Pogamut 2. IVA (2007)