Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors.
Abhinandan PandaSrinivas PinisettyPartha S. RoopPublished in: ISBRA (2022)
Keyphrases
- formal methods
- monitoring system
- model checking
- formal model
- formal analysis
- optimal policy
- real time
- face verification
- condition monitoring
- early warning
- decision support system
- formal language
- access control policies
- formal specification
- decision support
- policy making
- asynchronous circuits
- intensive care
- functional verification
- blood pressure
- signature verification
- markov decision process
- asymptotically optimal
- expected cost
- action selection
- markov decision processes