Analytic method for automatic test case generation for Function Block Diagram. - Tomás Ausberger; Karel Kubícek 002; Pavla Medvecová; Tomás Myslivec; Milan Stetina (ETFA, 2020)

Model Checking application on Function Block Diagram model. - Tomás Ausberger; Karel Kubícek 002; Pavla Medvecová; Tomás Myslivec; Milan Stetina (ETFA, 2020)

Droneport: From Concept To Simulation. - Ondrej Severa; Zdenek Boucek; Petr Neduchal; Lukás Bláha; Tomás Myslivec; Miroslav Flídr (DroneSE/RAPIDO@HiPEAC, 2022)

Droneport: From Concept To Prototype. - Lukás Bláha; Ondrej Severa; Petr Barták; Tomás Myslivec; Arnold Jáger; Jan Reitinger (MMAR, 2022)

An Open PLC-Based Robot Control System for 3D Concrete Printing. - Daniel Kajzr; Tomás Myslivec; Josef Cernohorsky (Robotics, 2023)

Modelling, Analysis and Comparison of Robot Energy Consumption for Three-Dimensional Concrete Printing Technology. - Daniel Kajzr; Tomás Myslivec; Josef Cernohorsky (Robotics, 2024)