Nikhil Vijay Naik

According to our database¹, Nikhil Vijay Naik authored at least 2 papers in 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

CoRR, 2022

Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022