Login / Signup
Marta M. Borkowska
Publication Activity (10 Years)
Years Active: 2016-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)