Sign in
Distributed runtime verification of metric temporal properties.
Ritam Ganguly
Yingjie Xue
Aaron Jonckheere
Parker Ljung
Benjamin Schornstein
Borzoo Bonakdarpour
Maurice Herlihy
Published in:
J. Parallel Distributed Comput. (2024)
Keyphrases
</>
temporal properties
model checking
formal methods
temporal logic
possibility theory
cooperative
distributed environment
multi agent
distributed systems
formal specification
neural network
web services
pattern recognition
computational intelligence
peer to peer
distance measure