Login / Signup
Nikola Trcka
Publication Activity (10 Years)
Years Active: 2005-2014
Publications (10 Years): 0
Top Topics
Formal Verification
Hybrid Metaheuristic
Vehicle Routing
Networked Control Systems
Top Venues
ICRA
HiCoNS
Theor. Comput. Sci.
EDM
</>
Publications
</>