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

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

Zhe Xu
Xiaoming Duan
ArXivPDFHTML

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

2 / 2 papers shown
Title
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach
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
11
26
0
22 Sep 2019
Transfer of Temporal Logic Formulas in Reinforcement Learning
Transfer of Temporal Logic Formulas in Reinforcement Learning
Zhe Xu
Ufuk Topcu
19
52
0
10 Sep 2019

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.