Petros Ioannou

Publication Activity (10 Years)

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

Top Topics

Mazurkiewicz Traces

Mission Planning

Top Venues

IEEE Intell. Transp. Syst. Mag.

Publications

Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros Ioannou
Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints. CoRR (2022)
Petros Ioannou
ITS Society Membership News [Member Activities]. IEEE Intell. Transp. Syst. Mag. 14 (3) (2022)
Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros Ioannou
Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints. ACC (2022)
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)