Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution).
Marek ChalupaThomas A. HenzingerPublished in: TACAS (2) (2023)
Keyphrases
- real time
- monitoring system
- databases
- health monitoring
- computer programs
- program execution
- data acquisition
- control system
- international competition
- advanced research projects agency
- decision support system
- evolutionary algorithm
- bayesian networks
- decision trees
- learning algorithm
- real world
- neural network
- data sets