Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic.

Zhe Xu Xiaoming Duan

Published in: CoRR (2021)

Keyphrases

formal specification
public health
control system
artificial intelligence
object oriented design
control strategy
database
case study
model checking
design methodology
process algebra
real world
database systems
expert systems
reverse engineering