Pages that link to "Item:Q2008293"
From MaRDI portal
The following pages link to A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293):
Displaying 5 items.
- Runtime monitors for Markov decision processes (Q832291) (← links)
- Computer says no: verdict explainability for runtime monitors using a local proof system (Q1996872) (← links)
- Gray-box monitoring of hyperproperties with an application to privacy (Q2147690) (← links)
- Runtime abstract interpretation for numerical accuracy and robustness (Q2234076) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)
