Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems.

Li Huang Eun-Young Kang

Published in: CoRR (2019)

Keyphrases

formal analysis
cyber physical systems
agent model
formal methods
physical world
cyber physical
ban logic
artificial intelligence
knowledge base
low cost