Login / Signup
Michal Gnatowski
Publication Activity (10 Years)
Years Active: 2005-2016
Publications (10 Years): 1
Top Topics
Robot Teams
Theorem Prover
Automated Reasoning
Valued Logic
Top Venues
AUTOMATION
</>
Publications
</>
Lukasz Bialek
,
Jacek Szklarski
,
Marta M. Borkowska
,
Michal Gnatowski
Reasoning with Four-Valued Logic in Multi-robotic Search-and-Rescue Problem.
AUTOMATION
(2016)
Elzbieta Roszkowska
,
Bogdan Kreczmer
,
Adam Borkowski
,
Michal Gnatowski
Distributed Supervisory Control for a System of Path-network Sharing Mobile Robots.
EMCR
(2007)
Michal Gnatowski
Search-and-rescue using team of robots.
Inteligencia Artif.
9 (28) (2005)