Prohlížení dle autora "Barták, Roman"
-
REINFORCED ENCODING FOR PLANNING AS SAT
Autor: Balyo, Tomáš; Barták, Roman; Trunda, Otakar
(České vysoké učení technické v PrazeCzech Technical University in Prague, 2015)Solving planning problems via translation to satisfiability (SAT) is one of the most successful approaches to automated planning. We propose a new encoding scheme, called Reinforced Encoding, which encodes a planning problem ... -
X-COPTER STUDIO
Autor: Koutný, Michal; Pilát, Ondrej; Černý, Patrik; Kasinec, Maroš; Barták, Roman
(České vysoké učení technické v PrazeCzech Technical University in Prague, 2015)We present a project that aggregates various existing robotic software and serves as a platform to conveniently control a quadrocopter, mainly for research or educational purposes. User interface runs in a browser and other ...