T. Petříček

发表

Tomás Svoboda, Mario Gianni, Fiora Pirri, 2011, Automated Action Planning for Autonomous Mobile Robots.

Claudio V. Russo, T. Petříček, G. Bierman, 2017 .

Alan Mycroft, Dominic A. Orchard, Tomas Petricek, 2013, ICALP.

T. Petříček, 2015 .

T. Petříček, Stephen Kell, J. Edwards, 2019, PPIG.

K. Zimmermann, T. Petříček, R. Agishev, 2022, IEEE Robotics and Automation Letters.

Don Syme, Tomas Petricek, Gustavo Guerra, 2017 .

Karel Zimmermann, Tomáš Petříček, Tomas Svoboda, 2018, J. Field Robotics.

Tomáš Petříček, T. Petříček, 2017 .

Tomas Petricek, T. Petříček, 2017, Art Sci. Eng. Program..

Don Syme, Tomas Petricek, Dmitry Lomov, 2011, PADL.

Don Syme, Tomas Petricek, T. Petříček, 2010, ISMM '10.

Tomáš Petříček, T. Petříček, 2010 .

Karel Zimmermann, Tomáš Petříček, Tomáš Svoboda, 2021, IEEE Robotics and Automation Letters.

Roland Siegwart, Tomás Svoboda, Václav Hlavác, 2014 .

Tomás Svoboda, Karel Zimmermann, Tomás Petrícek, 2017, 2017 IEEE International Conference on Computer Vision (ICCV).

Roland Siegwart, Tomás Svoboda, Václav Hlavác, 2014, Adv. Robotics.

T. Petříček, J. Edwards, Joel Jakubovic, 2023, Art Sci. Eng. Program..

Martin Saska, Jan Faigl, François Pomerleau, 2019, MESAS.

T. Petříček, P. Taylor-Gooby, Jack Cunliffe, 2021, Journal of Social Policy.

Roly Perera, Tomas Petricek, Minh Nguyen, 2021, Proc. ACM Program. Lang..

Tomas Petricek, T. Petříček, 2020, Art Sci. Eng. Program..

Tomas Petricek, Jon Skeet, T. Petříček, 2010 .

Tomáš Petříček, Petr Kacálek, Radim Smolka, 2014 .

Alan Mycroft, Dominic A. Orchard, Tomas Petricek, 2015, Semantics, Logics, and Calculi.

Dominic A. Orchard, Tomas Petricek, T. Petříček, 2014, Haskell 2014.

Alan Mycroft, Dominic A. Orchard, Tomas Petricek, 2014, ArXiv.

Tomas Petricek, T. Petříček, 2017 .

Dominic A. Orchard, T. Petříček, A. Mycroft, 2014, ICFP.

Dominic A. Orchard, T. Petříček, A. Mycroft, 2013, ICALP.

Don Syme, Tomas Petricek, T. Petříček, 2014, PADL.

Ernesto Jiménez-Ruiz, T. Petříček, T. Ceritli, 2022, IEEE Transactions on Knowledge and Data Engineering.

Kenji Takeda, Don Syme, Tomas Petricek, 2013, DDFP '13.

Charles A. Sutton, Tomas Petricek, James Geddes, 2018, TaPP.

Tomas Petricek, T. Petříček, 2017, ECOOP.

Tomas Petricek, T. Petříček, 2018, Art Sci. Eng. Program..

Tomas Petricek, T. Petříček, 2016, PPIG.

Tomas Petricek, T. Petříček, 2021, Onward!.