Jan Havlícek

According to our database, Jan Havlícek authored at least 5 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs.

Jiri Barnat, Lubos Brim, Vojtech Havel, Jan Havlícek, Jan Kriho, Milan Lenco, Petr Rockai, Vladimír Still, Jirí Weiser

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Distributed LTL Model Checking with Hash Compaction.

Jiri Barnat, Jan Havlícek, Petr Rockai

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

2009

Extensions and Applications of Pogamut 3 Platform.

Rudolf Kadlec, Jakub Gemrot, Michal Bída, Ondrej Burkert, Jan Havlícek, Lukás Zemcák, Radek Píbil, Radim Vansa, Cyril Brom

Proceedings of the Intelligent Virtual Agents, 9th International Conference, 2009

Pogamut 3 Can Assist Developers in Building AI (Not Only) for Their Videogame Agents.

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

Proceedings of the Agents for Games and Simulations, 2009

2007

Towards Fast Prototyping of IVAs Behavior: Pogamut 2.

Ondrej Burkert, Rudolf Kadlec, Jakub Gemrot, Michal Bída, Jan Havlícek, Martin Dörfler, Cyril Brom

Proceedings of the Intelligent Virtual Agents, 7th International Conference, 2007