scholarly journals Differentially Private Controller Synthesis With Metric Temporal Logic Specifications

2020 ◽  
Author(s):  
Zhe Xu ◽  
Kasra Yazdani ◽  
Matthew T. Hale ◽  
Ufuk Topcu
Keyword(s):  
Temporal Logic ◽  
Controller Synthesis ◽  
Metric Temporal Logic

scholarly journals Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications

Automatica ◽  
2021 ◽  
Vol 130 ◽  
pp. 109723
Author(s):  
Sahar Mohajerani ◽  
Robi Malik ◽  
Andrew Wintenberg ◽  
Stéphane Lafortune ◽  
Necmiye Ozay
Keyword(s):  
Temporal Logic ◽  
Linear Temporal Logic ◽  
Controller Synthesis

scholarly journals A two‐dimensional metric temporal logic

2019 ◽  
Vol 66 (1) ◽  
pp. 7-19
Author(s):  
Stefano Baratella ◽  
Andrea Masini
Keyword(s):  
Temporal Logic ◽  
Two Dimensional ◽  
Metric Temporal Logic

scholarly journals Timer formulas and decidable metric temporal logic

2005 ◽  
Vol 198 (2) ◽  
pp. 148-178 ◽  
Author(s):  
Yoram Hirshfeld ◽  
Alexander Rabinovich
Keyword(s):  
Temporal Logic ◽  
Metric Temporal Logic
Sign in / Sign up

Export Citation Format

Share Document