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

Zhe Xu Xiaoming Duan

Published in: CDC (2021)

Keyphrases

formal specification
public health
specification languages
object oriented design
concurrent systems
reverse engineering
artificial intelligence
distributed systems
control strategy
database systems
model checking
specification language
formal specification language