Reactive synthesis from interval temporal logic specifications

[1]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[2]  Stéphane Demri,et al.  LTL with the Freeze Quantifier and Register Automata , 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).

[3]  Jiamou Liu,et al.  On complexity of Ehrenfeucht-Fraïssé games , 2009, Ann. Pure Appl. Log..

[4]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

[5]  Angelo Montanari,et al.  Adding one or more equivalence relations to the interval temporal logic , 2016, Theor. Comput. Sci..

[6]  Gabriele Puppis,et al.  Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals , 2014, MFCS.

[7]  Davide Bresolin,et al.  Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity , 2014, Theor. Comput. Sci..

[8]  Davide Bresolin,et al.  An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic , 2007, STACS.

[9]  Gabriele Puppis,et al.  Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals , 2010, ICALP.

[10]  Alexander Moshe Rabinovich,et al.  Logical Refinements of Church's Problem , 2007, CSL.

[11]  L. Dickson.  Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors , 1913 .

[12]  Yoav Shoham,et al.  A propositional modal logic of time intervals , 1991, JACM.

[13]  J. R. Büchi,et al.  Solving sequential conditions by finite-state strategies , 1969 .

[14]  Joël Ouaknine,et al.  On Metric Temporal Logic and Faulty Turing Machines , 2006, FoSSaCS.

[15]  Pierre Wolper,et al.  Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, TOPL.