1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.MA2022★ 1 cited
Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks
Kushal Kedia, Rajat Kumar Jenamani, Aritra Hazra +1
Multi-Agent Path Finding (MAPF) is the problem of finding collision-free paths for multiple agents from their start locations to end locations. We consider an extension to this pro…
eess.SY2020
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems
Ginju V. George, Aritra Hazra, Pallab Dasgupta +1
Reliability and fault tolerance are critical attributes of embedded cyber-physical systems that require a high safety-integrity level. For such systems, the use of formal functiona…