Login / Signup
Towards formalization and monitoring of microscopic traffic parameters using temporal logic.
Mariam Nour
Mohamed H. Zaki
Published in:
CoRR (2021)
Keyphrases
</>
temporal logic
model checking
modal logic
real time
satisfiability problem
verification method
mazurkiewicz traces
belief revision
predicate logic
linear temporal logic
bounded model checking
computation tree logic
temporal knowledge
transition systems
network traffic