Login / Signup
Numerical LTL Synthesis for Cyber-Physical Systems.
Chih-Hong Cheng
Edward A. Lee
Published in:
CoRR (2013)
Keyphrases
</>
cyber physical systems
cyber physical
model checking
sensitivity analysis
cyber security
physical world
wireless communication
embedded systems
physical space