Nikhil Vijay Naik

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Mazurkiewicz Traces

Formal Specification Language

Mission Planning

Top Venues

Publications

Muhammad Waqas, Nikhil Vijay Naik, Petros Ioannou, Pierluigi Nuzzo
Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning. CDC (2022)
Muhammad Waqas, Nikhil Vijay Naik, Petros Ioannou, Pierluigi Nuzzo
Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications. CoRR (2022)