67 citations · 173 across the 30 of their papers we have counts for
4 papers · 1 filter
A survey on unmanned aerial vehicle collision avoidance systems
Hung Pham, Scott A. Smolka, Scott D. Stoller +2
Collision avoidance is a key factor in enabling the integration of unmanned aerial vehicle into real life use, whether it is in military or civil application. For a long time there…
Abstract Model Repair
George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros +1
Given a Kripke structure M and CTL formula , where M does not satisfy , the problem of Model Repair is to obtain a new model M' such that M' satisfies . Moreover, the chan…
Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Kenan Kalajdzic, Cyrille Jegourel, Ezio Bartocci +3
We introduce feedback-control statistical system checking (FC-SSC), a new approach to statistical model checking that exploits principles of feedback-control for the analysis of cy…
Model Checking Tap Withdrawal in C. Elegans
Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan +3
We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW…