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

26 March 2021

Papers citing "Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic"

3 / 3 papers shown

Title
Modelling transmission and control of the COVID-19 pandemic in Australia S. Chang Nathan Harding C. Zachreson Oliver M. Cliff M. Prokopenko 58 551 0 23 Mar 2020
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach Zhe Xu Federico M. Zegers Bo Wu W. Dixon Ufuk Topcu 13 26 0 22 Sep 2019
Transfer of Temporal Logic Formulas in Reinforcement Learning Zhe Xu Ufuk Topcu 21 52 0 10 Sep 2019