Semantic Inference for Cyber-Physical Systems with Signal Temporal Logic.

Gang Chen Mei Liu Zhaodan Kong

Published in: CDC (2019)

Keyphrases

temporal logic
cyber physical systems
model checking
modal logic
cyber physical
linear temporal logic
belief revision
verification method
probabilistic inference
physical world
computation tree logic
real time
embedded systems
reactive systems