default search action
20th TIME 2013: Pensacola, FL, USA
- César Sánchez, Kristen Brent Venable, Esteban Zimányi:
2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-2240-6
Invited Contributions
- James F. Allen:
Rethinking Logics of Action and Time. 3-4 - Aaron R. Bradley:
Incremental, Inductive Model Checking. 5-6 - Ouri Wolfson:
Spatio-temporal Competition for Transportation Resources. 7-8
Temporal Constraint Networks
- Jean-François Condotta, Souhila Kaci:
Minimal Consistency Problem of Temporal Qualitative Constraint Networks. 11-18 - Romeo Rizzi, Roberto Posenato:
Optimal Design of Consistent Simple Temporal Networks. 19-25 - Luke Hunsberger:
A Faster Execution Algorithm for Dynamically Controllable STNUs. 26-33
Temporal Planning and Deduction Systems
- Martin C. Cooper, Frederic Maris, Pierre Régnier:
Relaxation of Temporal Planning Problems. 37-44 - Carlos Caleiro, Luca Viganò, Marco Volpe:
A Labeled Deduction System for the Logic UB. 45-53 - Viktor Schuppan:
Extracting Unsatisfiable Cores for LTL via Temporal Resolution. 54-61
Temporal Logics
- Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. 65-72 - Mark Reynolds:
A New Metric Temporal Logic for Hybrid Systems. 73-80 - Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
An Algebraic System of Temporal Structures. 81-88
Satisfiability and Model Checking
- Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTL Satisfiability Checking Revisited. 91-98 - Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. 99-106 - Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Complexity of Model Checking over General Linear Time. 107-114
Transition Systems and Spatiotemporal Databases
- Kais Klai, Naim Aber, Laure Petrucci:
A New Approach to Abstract Reachability State Space of Time Petri Nets. 117-124 - Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Event Algebra for Transition Systems Composition - Application to Timed Automata. 125-132 - Piero Campalani, Dimitar Misev, Alan Beccati, Peter Baumann:
Making Time Just Another Axis in Geospatial Services. 133-140
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.