1. Control theory meets pomdps: A hybrid systems approach;Ahmadi;IEEE Transactions on Automatic Control,2020
2. Mathematical epidemiology;Allen,2008
3. Infectious diseases of humans: Dynamics and control;Anderson,1992
4. Principles of model checking;Baier,2008
5. Essai d’une nouvelle analyse de la mortalite causee par la petite ve- role, et des avantage de l’inoculation pour la prevenir;Bernoulli;Memoirs Physics Academy Royal Science,1760