Login / Signup
SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties.
Anand Yeolekar
Ravindra Metta
Samarjit Chakraborty
Published in:
VLSID (2024)
Keyphrases
</>
cyber physical systems
cyber physical
physical world
cyber security
control system
information systems
traffic signal
action recognition
embedded systems