1 citations · 1 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.RO2022
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives
Jun Wang, Samarth Kalluraya, Yiannis Kantaros
This paper presents a new approach to design verified compositions of Neural Network (NN) controllers for autonomous systems with tasks captured by Linear Temporal Logic (LTL) form…
cs.RO2022★ 1 cited
Multi-robot Mission Planning in Dynamic Semantic Environments
Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
This paper addresses a new semantic multi-robot planning problem in uncertain and dynamic environments. Particularly, the environment is occupied with non-cooperative, mobile, unce…