Artificial Intelligence Center Office: KN:E-322, |
|
Publications
Fact-Alternating Mutex Groups for Classical Planning
(pdf,
doi,
bibtex)
Daniel Fišer, Antonín Komenda
JAIR 61: 475-521 (2018)
Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract)
(pdf,
doi)
Daniel Fišer, Antonín Komenda
IJCAI 2018, Journal track, 5603-5607
Concise Finite-Domain Representations for Factored MA-PDDL Planning Tasks
(pdf,
doi,
bibtex)
Daniel Fišer, Antonín Komenda
ICAART 2018, Vol. 2, 306-313
Potential Heuristics for Multi-Agent Planning
(pdf,
bibtex)
Michal Štolba, Daniel Fišer, Antonín Komenda
ICAPS 2016, 308-316
Admissible Landmark Heuristic for Multi-Agent Planning
(pdf,
bibtex)
Michal Štolba, Daniel Fišer, Antonín Komenda
ICAPS 2015, 211-219
Comparison of RPG-based FF and DTG-based FF Disrtibuted Heuristics
(pdf,
bibtex)
Michal Štolba, Daniel Fišer, Antonín Komenda
DMAP 2015, 77-82
A Light-Weight Robot Simulator for Modular Robotics
(doi,
bibtex)
Vojtěch Vonásek, Daniel Fišer, Karel Košnar, Libor Přeučil
First International Workshop, MESAS 2014, 206-216
Growing neural gas efficiently
(pdf,
doi,
bibtex)
Daniel Fišer, Jan Faigl, Miroslav Kulich
Neurocomputing 104: 72-82 (2013)
Techniques for Modeling Simulation Environments for Modular Robotics
(pdf,
bibtex)
Vojtěch Vonásek, Miroslav Kulich, Tomáš Krajník, Martin Saska, Daniel Fišer, Vladimír Petrík, Libor Přeučil
MATHMOD 2012
AR-Drone as a Platform for Robotic Research and Education
(pdf,
doi,
bibtex)
Tomáš Krajník, Vojtěch Vonásek, Daniel Fišer, Jan Faigl
Eurobot Conference 2011, 172-186
Bringing Reality to Evolution of Modular Robots: Bio-Inspired Techniques
for Building a Simulation Environment in the SYMBRION Project
(pdf,
bibtex)
Martin Saska, Vojtěch Vonásek, Miroslav Kulich, Daniel Fišer, Tomáš Krajnık, Libor Přeučil
Reconfigurable Modular Robotics: Challenges of Mechatronic and Bio-Chemo 2011
Master’s thesis: Inference of State Invariants for Domain-Independent Planning (2016), Dean award for an exceptional master thesis
Projects
-
maplan — (MA-)PDDL planner.
-
pddl-data — repository of (MA-)PDDL problems.
-
libccd — library for collision detection between convex shapes.
-
gnn — library implementing several growing neural network algorithms.
-
cu — C Unit Testing Framework
-
boruvka — C library implementing some basic mathematical routines and low level algorithms.
-
QShowDiff — a tool for visualisation of diffs generated from various VCS systems.
-
pitweb — pythonic web interface for git repositories.
-
opts — library for parsing command line options.
-
Sim — a robotic simulator.
-
SVT — a tool for visualization of 2D and 3D objects.