32 citations · 92 across the 26 of their papers we have counts for
5 papers · 1 filter
Contract-Based Specification Refinement and Repair for Mission Planning
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo +1
We address the problem of modeling, refining, and repairing formal specifications for robotic missions using assume-guarantee contracts. We show how to model mission specifications…
Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications
Muhammad Waqas, Nikhil Vijay Naik, Petros Ioannou +1
We present a compositional control synthesis method based on assume-guarantee contracts with application to correct-by-construction design of vehicular mission plans. In our approa…
Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints
Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo +1
The safety-critical nature of adaptive cruise control (ACC) systems calls for systematic design procedures, e.g., based on formal methods or control barrier functions (CBFs), to pr…
Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints
Krishna C. Kalagarla, Dhruva Kartik, Dongming Shen +3
Autonomous agents often operate in scenarios where the state is partially observed. In addition to maximizing their cumulative reward, agents must execute complex tasks with rich t…
TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks
Yuke Zhang, Yinghua Hu, Pierluigi Nuzzo +1
Sequential logic locking has been studied over the last decade as a method to protect sequential circuits from reverse engineering. However, most of the existing sequential logic l…