Login / Signup
Dhaval Gujarathi
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Bounded Model Checking
Formal Specification Language
Reactive Systems
Temporal Logic
Top Venues
ICRA
CoRR
IROS
</>
Publications
</>
Dhaval Gujarathi
,
Indranil Saha
MT*: Multi-Robot Path Planning for Temporal Logic Specifications.
IROS
(2022)
Dhaval Gujarathi
,
Indranil Saha
MT* : Multi-Robot Path Planning for Temporal Logic Specifications.
CoRR
(2021)
Danish Khalidi
,
Dhaval Gujarathi
,
Indranil Saha
T* : A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications.
ICRA
(2020)