Pavel Surynek
发表
Pavel Surynek,
Jiri Svancara,
Ariel Felner,
2018
.
Roman Barták,
Pavel Surynek,
Ondrej Cepek,
2007,
2007 IEEE Symposium on Computational Intelligence in Scheduling.
Pavel Surynek,
2009,
2009 21st IEEE International Conference on Tools with Artificial Intelligence.
Roni Stern,
Pavel Surynek,
Ariel Felner,
2016,
ECAI.
Pavel Surynek,
2009,
FLAIRS Conference.
Pavel Surynek,
Pavel Surynek,
2014,
2014 IEEE 26th International Conference on Tools with Artificial Intelligence.
Roman Barták,
Pavel Surynek,
Ondrej Cepek,
2010,
Ann. Oper. Res..
Pavel Surynek,
2014,
MICAI.
Roman Barták,
Pavel Surynek,
R. Barták,
2004,
CP.
Pavel Surynek,
2013,
SARA.
Adi Botea,
Pavel Surynek,
A. Botea,
2015,
AAAI.
Lukás Chrpa,
Pavel Surynek,
Jirí Vyskocil,
2007,
IICAI.
Pavel Surynek,
2008,
FLAIRS Conference.
Lukás Chrpa,
Pavel Surynek,
Jirí Vyskocil,
2009,
INAP/WLP.
Pavel Surynek,
Pavel Surynek,
2009,
2009 IEEE International Conference on Robotics and Automation.
Roman Barták,
Neng-Fa Zhou,
Roni Stern,
2017,
2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI).
Pavel Surynek,
2019,
DDC@AI*IA.
Pavel Surynek,
2015,
SOCS.
Makespan Optimal Solving of Cooperative Path-Finding via Reductions to Propositional Satisfiability
pdf
Pavel Surynek,
Pavel Surynek,
2016,
ArXiv.
Roman Barták,
Pavel Surynek,
R. Barták,
2005,
FLAIRS.
Pavel Surynek,
Petr Michalík,
2016,
Autonomous Agents and Multi-Agent Systems.
Pavel Surynek,
Jiri Svancara,
Ariel Felner,
2017,
ICAART.
Pavel Surynek,
2019,
ICAART.
Pavel Surynek,
Marika Ivanová,
2013,
AAAI.
Adi Botea,
Pavel Surynek,
Davide Bonusi,
2018,
IJCAI.
A Summary of Adaptation of Techniques from Search-based Optimal Multi-Agent Path Finding Solvers to Compilation-based Approach
pdf
Pavel Surynek,
2018,
ArXiv.
Sven Koenig,
Pavel Surynek,
T. K. Satish Kumar,
2019,
AI*IA.
Pavel Surynek,
Petr Michalík,
2017,
AAMAS.
Pavel Surynek,
2020,
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC).
Pavel Surynek,
Pavel Surynek,
2011
.
Pavel Surynek,
2011,
SCAI.
Katsutoshi Hirayama,
Pavel Surynek,
Marika Ivanová,
2018,
ICAART.
Pavel Surynek,
2008,
STAIRS.
Pavel Surynek,
Petra Surynková,
P. Surynková,
2014,
KEOD.
Pavel Surynek,
2012,
SOCS.
Pavel Surynek,
2018,
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).
Pavel Surynek,
Róbert Selvek,
2019,
KEOD.
Area Protection in Adversarial Path-Finding Scenarios with Multiple Mobile Agents on Graphs: a theoretical and experimental study of target-allocation strategies for defense coordination
pdf
Pavel Surynek,
Marika Ivanová,
2017,
ArXiv.
Roni Stern,
Pavel Surynek,
Ariel Felner,
2016,
AAMAS.
Pavel Surynek,
2020,
KI.
Pavel Surynek,
2009
.
Roman Barták,
Pavel Surynek,
Tomás Balyo,
2012,
SOCS.
Pavel Surynek,
Petra Surynková,
P. Surynková,
2016,
MMCS.
Pavel Surynek,
Ján Chudý,
Nestor Popov,
2020,
ROBOVIS.
Pavel Surynek,
Pavel Surynek,
2010,
AAAI.
Pavel Surynek,
Pavel Surynek,
2020,
ICAART.
Pavel Surynek,
Pavel Surynek,
2020,
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI).
Roman Barták,
Pavel Surynek,
R. Barták,
2005,
CP.
Pavel Surynek,
2014,
Int. J. Artif. Intell. Tools.
Pavel Surynek,
Pavel Surynek,
2019,
SOCS.
Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search
pdf
Pavel Surynek,
2018,
ArXiv.
Pavel Surynek,
Petra Surynková,
Milos Chromý,
2014,
Fundam. Informaticae.
Pavel Surynek,
2019,
SOCS.
Roni Stern,
Pavel Surynek,
Ariel Felner,
2018,
SOCS.
Roman Barták,
Pavel Surynek,
Tomás Balyo,
2012,
2012 IEEE 24th International Conference on Tools with Artificial Intelligence.
Pavel Surynek,
2020,
RCAI.
Pavel Surynek,
Pavel Surynek,
2014,
Comput. Intell..
Pavel Surynek,
Vojtech Cahlík,
2019,
IJCCI.
Roman Barták,
Pavel Surynek,
2007,
FLAIRS Conference.
Pavel Surynek,
2019,
ICAART.
Pavel Surynek,
2011,
ICTAI.
Pavel Surynek,
2012,
2012 IEEE 24th International Conference on Tools with Artificial Intelligence.
Pavel Surynek,
Marika Ivanová,
2014,
2014 IEEE 26th International Conference on Tools with Artificial Intelligence.
Roni Stern,
Pavel Surynek,
Ariel Felner,
2016,
SOCS.
Pavel Surynek,
2014,
PRICAI.
Han Zhang,
Pavel Surynek,
Jiaoyang Li,
2020,
ICAPS.
Diep N. Nguyen,
Pavel Surynek,
Diep Thi Ngoc Nguyen,
2017,
FLAIRS.
Pavel Surynek,
Pavel Surynek,
2011,
2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.
Pavel Surynek,
Ján Chudý,
Nestor Popov,
2020,
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC).
Roni Stern,
Pavel Surynek,
Ariel Felner,
2017,
SOCS.
Nathan R. Sturtevant,
Solomon Eyal Shimony,
Roni Stern,
2021,
SOCS.
Improvements in Sub-optimal Solving of the (N2-1)-Puzzle via Joint Relocation of Pebbles and its Applications to Rule-based Cooperative Path-Finding
pdf
Pavel Surynek,
Petr Michalík,
Pavel Surynek,
2016,
ArXiv.
Pavel Surynek,
Jiri Svancara,
2017,
ICAART.
Pavel Surynek,
2017,
Annals of Mathematics and Artificial Intelligence.
Pavel Surynek,
2012,
ECAI.
Pavel Surynek,
2020,
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI).
Pavel Surynek,
Pavel Surynek,
2015,
IJCAI.
Pavel Surynek,
Pavel Surynek,
2007,
SARA.
Pavel Surynek,
Pavel Surynek,
2012,
PRICAI.
Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)
pdf
Pavel Surynek,
2019,
ArXiv.
Pavel Surynek,
Jiri Svancara,
Ariel Felner,
2017,
ICAART.
Pavel Surynek,
Pavel Surynek,
2018,
KEOD.
Pushing the Envelope: From Discrete to Continuous Movements in Multi-Agent Path Finding via Lazy Encodings
pdf
Pavel Surynek,
2020,
ArXiv.
Pavel Surynek,
2019,
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Pavel Surynek,
2012,
2012 International Conference on Machine Learning and Cybernetics.
Pavel Surynek,
2008
.
Pavel Surynek,
Pavel Surynek,
2020,
AAAI.
Sven Koenig,
Pavel Surynek,
Ariel Felner,
2019,
SOCS.
Pavel Surynek,
Pavel Surynek,
2008
.
Pavel Surynek,
Pavel Surynek,
2008,
CSCLP.
Pavel Surynek,
Pavel Surynek,
2015,
Fundam. Informaticae.
Pavel Surynek,
2013,
2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Pavel Surynek,
2012,
2012 International Conference on Machine Learning and Cybernetics.
Pavel Surynek,
Ivana Luksová,
Pavel Surynek,
2011,
Polibits.
Pavel Surynek,
Martin Capek,
2021,
SOCS.
Compilation-based Solvers for Multi-Agent Path Finding: a Survey, Discussion, and Future Opportunities
pdf
Pavel Surynek,
Pavel Surynek,
2021,
ArXiv.
Pavel Surynek,
2021,
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI).
Pavel Surynek,
Pavel Surynek,
2021,
SOCS.
Pavel Surynek,
Ján Chudý,
2021,
AAAI.
Pavel Surynek,
Marika Ivanová,
2021,
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI).
Pavel Surynek,
2021,
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Pavel Surynek,
2021,
SOCS.
Pavel Surynek,
2009
.
Pavel Surynek,
2009
.
Pavel Surynek,
Pavel Surynek,
2010
.
Pavel Surynek,
Pavel Surynek,
2010
.