Time window temporal logic

Cristian-Ioan Vasile, Derya Aksaray, Călin Belta

Type: Article

Publication Date: 2017-07-24

Citations: 54

DOI: https://doi.org/10.1016/j.tcs.2017.07.012

Similar Works

Action	Title	Year	Authors
+	Logic of Time	2011
+	Logic of Time	2009	University Research Chair
+	Imprecise Time	2009
+	Imprecise Time	2011
+	Time and Sequence: Logical Aspects of Time	1985	Robert Rosén
+	Date-Time Formulas	2019
+ PDF Chat	Uncertainty-Aware Signal Temporal Logic Inference	2022	Nasim Baharisangari Jean-Raphaël Gaglione Daniel Neider Ufuk Topcu Zhe Xu
+	Sequence of time	2013	Sebastian Hayes
+	Time and Logic	2019
+ PDF Chat	Metric Temporal Logic with Counting	2016	Shankara Narayanan Krishna Khushraj Madnani Paritosh K. Pandya
+	Time Window Temporal Logic	2016	Cristian-Ioan Vasile Derya Aksaray Călin Belta
+	Time Window Temporal Logic	2016	Cristian-Ioan Vasile Derya Aksaray Călin Belta
+	Weak vs. Strong Temporal Operators	2007
+ PDF Chat	Logic of temporal attribute implications	2016	Jan Triska Vilém Vychodil
+ PDF Chat	A Neutral Temporal Deontic STIT Logic	2019	Kees van Berkel Tim S. Lyon
+	Probabilistic Time	1985	Robert Rosén
+	Richard Lavenham on Temporal Instants	1985	Peter Øhrstrøm
+	Calendar of events	2006
+	Assertions depending on time and corresponding logical calculi	1968	Andrzej Grzegorczyk
+	Time Indefinite	2009	Ross McElwee

Action	Title	Year	Authors
+	Specifying User Preferences Using Weighted Signal Temporal Logic	2020	Noushin Mehdipour Cristian-Ioan Vasile Călin Belta
+ PDF Chat	Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks	2023	Adam Pacheck Hadas Kress‐Gazit
+ PDF Chat	Temporal Robustness of Stochastic Signals	2022	Lars Lindemann Alëna Rodionova George J. Pappas
+ PDF Chat	Combined Left and Right Temporal Robustness for Control Under STL Specifications	2022	Alëna Rodionova Lars Lindemann Manfred Morari George J. Pappas
+ PDF Chat	Decentralized Safe Reactive Planning under TWTL Specifications	2020	Ryan S. Peterson Ali Tevfik Büyükkoçak Derya Aksaray Yasin Yazıcıoğlu
+ PDF Chat	Online Motion Planning With Soft Metric Interval Temporal Logic in Unknown Dynamic Environment	2022	Zhiliang Li Mingyu Cai Shaoping Xiao Zhen Kan
+	Model Checking Time Window Temporal Logic for Hyperproperties	2023	Ernest Bonnah Luan Viet Nguyen Khaza Anuarul Hoque
+	Average-based Robustness for Continuous-Time Signal Temporal Logic	2019	Noushin Mehdipour Cristian-Ioan Vasile Călin Belta
+	Non-uniform Sampled Motion Planning for Continuous-time STL	2020	Guang Yang Călin Belta Roberto Tron
+ PDF Chat	Robustness Measures and Monitors for Time Window Temporal Logic	2023	Ahmad Ahmad Cristian-Ioan Vasile Roberto Tron Călin Belta

Action	Title	Year	Authors
+ PDF Chat	Transition Complexity of Incomplete DFAs	2011	Yuan Gao Kai Salomaa Sheng Yü
+ PDF Chat	On the minimal revision problem of specification automata	2015	Kangjin Kim Georgios Fainekos Sriram Sankaranarayanan
+ PDF Chat	Incremental sampling-based algorithm for minimum-violation motion planning	2013	Luis I. Reyes Castro Pratik Chaudhari Jana Tůmová Sertaç Karaman Emilio Frazzoli Daniela Rus
+	Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2004	Scott Cotton Eugene Asarin Oded Maler Peter Niebert