The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Interval Temporal Logic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-1993 (15) 1994-1998 (17) 1999-2001 (15) 2002-2004 (17) 2005-2007 (20) 2008-2011 (18) 2012-2015 (21) 2016-2017 (19) 2018-2019 (17) 2020-2022 (19)
Publication types (Num. hits)
article(54) inproceedings(120) phdthesis(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 115 occurrences of 79 keywords

Results
Found 178 publication records. Showing 178 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
48Yu Pei 0001, Qiwen Xu Checking Interval Based Properties for Reactive Systems. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF finitary property, model checking, reactive system, interval temporal logic
47Chuang Lin 0001, Zhiguang Shan, Ting Liu, Yang Qu, Fengyuan Ren Modeling and Inference of Extended Interval Temporal Logic for Nondeterministic Intervals. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Naijun Zhan Completeness of Higher-Order Duration Calculus. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF duration calculus higher-order logic interval temporal logic completeness
44Michael R. Hansen, Zhou Chaochen Semantics and Completeness of Duration Calculus. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic
41Du Zhang On Temporal Properties of Knowledge Base Inconsistency. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF knowledge inconsistency, temporal inconsistency, interval relations, conflicting intervals, Interval temporal logic
39Du Zhang, Hong Zhu 0002 When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency. Search on Bibsonomy IDEAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF KB inconsistency, temporal inconsistency, conflicting intervals, interval temporal logic
38Ben C. Moszkowski Compositional reasoning about projected and infinite time. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
36D. Lippert Interval Temporal Logic and Star-Free Expressions. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
35Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna Decidability of Interval Temporal Logics over Split-Frames via Granularity. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Barry Richards, Yuejun Jiang, H. Choi On Interval-based Temporal Planning: An IQ Strategy. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Qualification Problem, Interval Principle, Collapsing and Stretching/Clipping, Temporal Logics, Planning, Constraint Satisfaction, Points, Actions, Intervals, Maximal, Frame Problem
34Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala Tableau Systems for Logics of Subinterval Structures over Dense Orderings. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Davide Bresolin, Angelo Montanari A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Xiaoshan Li Specification and Simulation of a Concurrent Real-Time System. Search on Bibsonomy PDSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Concurrent Real-time Systems, Simulation and Verification, Executable Specification, Interval Temporal Logic
31Arjen Hommersom, Peter J. F. Lucas Actions with Failures in Interval Temporal Logic. Search on Bibsonomy CLIMA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Howard Bowman, Simon J. Thompson A Tableau Method for Interval Temporal Logic with Projection. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey A Semantic Model of VHDL for Validating Rewriting Algebras. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF rewriting algebras validation, declarative style, process-folding, CAD tool optimization, VHDL, formal model, semantic model, hardware description languages, interval temporal logic, dynamic semantics
31Grace Tsai, M. Insall, Bruce M. McMillin Ensuring the satisfaction of a temporal specification at run-time. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment
30Shinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka Implementation of Temporal Logic Programming Language Tokio. Search on Bibsonomy LP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
29Dennis E. Shasha, Amir Pnueli, W. Ewald Temporal Verification of Carrier-Sense Local Area Network Protocols. Search on Bibsonomy POPL The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
27Valentin Goranko, Angelo Montanari, Guido Sciavicco A General Tableau Method for Propositional Interval Temporal Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Thomas Marthedal Rasmussen Signed Interval Logic. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF temporal intervals, arrow logic, real-time systems, liveness, interval logic
25Zhenhua Duan An extended interval temporal logic and a framing technique for temporal logic programming. Search on Bibsonomy 1996   RDF
25Marc Geilen, Dennis Dams An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. Search on Bibsonomy FTRTFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Ben C. Moszkowski A Complete Axiomatization of Interval Temporal Logic with Infinite Time. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
25Ben C. Moszkowski An Automata-Theoretic Completeness Proof for Interval Temporal Logic. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Ben C. Moszkowski Compositional Reasoning Using Interval Temporal Logic and Tempura. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Miriam Leeser Reasoning about the function and timing of integrated circuits with interval temporal logic. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
24Marc Geilen An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Rana Barua, Suman Roy 0001, Zhou Chaochen Completeness of Neighbourhood Logic. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
24Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001 The Cost of Punctuality. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Benedek Nagy, Sándor Vályi Visual Reasoning by Generalized Interval-values and Interval Temporal Logic. Search on Bibsonomy VLL The full citation details ... 2007 DBLP  BibTeX  RDF
22Davide Bresolin, Angelo Montanari, Guido Sciavicco An Optimal Decision Procedure for Right Propositional Neighborhood Logic. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tableaux-based decision procedures, right propositional neighborhood logic, interval temporal logic
22Zhenhua Duan, Cong Tian Decidability of Propositional Projection Temporal Logic with Infinite Models. Search on Bibsonomy TAMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF infinite model, model checking, satisfiability, decidability, interval temporal logic
22Pierfrancesco Bellini, Paolo Nesi, Davide Rogai Reply to Comments on "An Interval Logic for Real-Time System Specification'. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF TILCO, conciseness, temporal logic, Formal language, interval temporal logic
22Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán Formalization of UML state machines using temporal logic. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML, specification, formal semantics, interval temporal logic, Statechart diagrams
22Hongji Yang, Xiaodong Liu 0001, Hussein Zedan Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. Search on Bibsonomy ICSM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF reverse engineering, object oriented, abstraction, re-engineering, Interval Temporal Logic, wide spectrum language
22Xiaodong Liu 0001, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu A Design Framework for System Re-Engineering. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF real-time systems, formal methods, object orientation, re-engineering, Interval Temporal Logic, wide spectrum language
21Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
20Sheetanshu L. Pandey, Kothanda Umamageswaran, Philip A. Wilsey VHDL semantics and validating transformations. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19James F. Peters, Sheela Ramanna, Elizabeth A. Unger Logic of Knowledge and Belief in the Design of an Integrity Kernel for an Office Information System (Abstract). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
18Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger Axioms for Real-Time Logics. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
16Zhiliang Li, Mingyu Cai, Shaoping Xiao, Zhen Kan Online Motion Planning With Soft Metric Interval Temporal Logic in Unknown Dynamic Environment. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Angelo Montanari, Pietro Sala Reactive synthesis from interval temporal logic specifications. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Laura Bozzelli, Adriano Peron Parametric Interval Temporal Logic over Infinite Words. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Laura Bozzelli, Adriano Peron A quantitative extension of Interval Temporal Logic over infinite words. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Dimitar P. Guelev, Ben C. Moszkowski A separation theorem for discrete-time interval temporal logic. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Laura Bozzelli, Adriano Peron A Quantitative Extension of Interval Temporal Logic over Infinite Words. Search on Bibsonomy TIME The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Piotr Kosiuczenko An Interval Temporal Logic for Time Series Specification and Data Integration. Search on Bibsonomy Remote. Sens. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Antonio Cau, Stefan Kuhn 0001, James Hoey Executable Interval Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
16Lening Li, Jie Fu Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
16Laura Bozzelli, Angelo Montanari, Adriano Peron Complexity analysis of a unifying algorithm for model checking interval temporal logic. Search on Bibsonomy Inf. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Antonio Cau, Stefan Kuhn 0001, James Hoey Reversibility of Executable Interval Temporal Logic Specifications. Search on Bibsonomy RC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Dario Della Monica, Angelo Montanari, Pietro Sala Extended ω-Regular Languages and Interval Temporal Logic. Search on Bibsonomy ICTCS The full citation details ... 2021 DBLP  BibTeX  RDF
16Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
16Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan Interval Temporal Logic Decision Tree Learning. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
16Zhenyu Lin, John S. Baras Metric Interval Temporal Logic based Reinforcement Learning with Runtime Monitoring and Self-Correction. Search on Bibsonomy ACC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan Symbolic Learning with Interval Temporal Logic: the Case of Regression. Search on Bibsonomy OVERLAY The full citation details ... 2020 DBLP  BibTeX  RDF
16Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. Search on Bibsonomy OVERLAY The full citation details ... 2020 DBLP  BibTeX  RDF
16Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell, Radha Poovendran Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks. Search on Bibsonomy ICCPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Guido Sciavicco, Ionel Eduard Stan Knowledge Extraction with Interval Temporal Logic Decision Trees. Search on Bibsonomy TIME The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski From Box Algebra to Interval Temporal Logic. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Which fragments of the interval temporal logic HS are tractable in model checking? Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Krystian Adam Jobczyk, Antoni Ligeza An Epistemic Simplified Interval Temporal Logic of Moszkowski for Fuzzified Justification. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. Search on Bibsonomy ECC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Zhenyu Lin, John S. Baras Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic. Search on Bibsonomy SysCon The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Sofie Ahlberg, Dimos V. Dimarogonas Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Hard and Soft Metric Interval Temporal Logic Specifications*. Search on Bibsonomy CASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Laura Bozzelli, Angelo Montanari, Adriano Peron Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan Interval Temporal Logic Decision Tree Learning. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari 0002 Towards Interval Temporal Logic Rule-Based Classification. Search on Bibsonomy OVERLAY@AI*IA The full citation details ... 2019 DBLP  BibTeX  RDF
16Laura Bozzelli, Angelo Montanari, Adriano Peron Interval Temporal Logic for Visibly Pushdown Systems. Search on Bibsonomy FSTTCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16María-del-Mar Gallardo, Laura Panizo Trace Analysis Using an Event-Driven Interval Temporal Logic. Search on Bibsonomy LOPSTR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16David Smallwood ITL Monitor: compositional runtime analysis with Interval Temporal Logic. Search on Bibsonomy 2019   RDF
16Alberto Molinari, Angelo Montanari, Adriano Peron Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Sofie Andersson, Dimos V. Dimarogonas Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications. Search on Bibsonomy ECC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Stefania Costantini, Giovanni De Gasperis, Abeer Dyoub, Valentina Pitoni Trustworthiness and Safety for Intelligent Ethical Logical Agents via Interval Temporal Logic and Runtime Self-Checking. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2018 DBLP  BibTeX  RDF
16Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco Extracting Interval Temporal Logic Rules: A First Approach. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev Horn Fragments of the Halpern-Shoham Interval Temporal Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics. Search on Bibsonomy J. Multiple Valued Log. Soft Comput. The full citation details ... 2017 DBLP  BibTeX  RDF
16Sofie Andersson, Alexandros Nikou, Dimos V. Dimarogonas Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
16Alberto Molinari, Angelo Montanari, Adriano Peron Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
16Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. Search on Bibsonomy GandALF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Peter Nazier Mosaad, Martin Fränzle, Bai Xue 0001 Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. Search on Bibsonomy Sci. Ann. Comput. Sci. The full citation details ... 2017 DBLP  BibTeX  RDF
16Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Model Checker for Interval Temporal Logic over Finite Structures. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
16Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco Fast(er) Reasoning in Interval Temporal Logic. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Luca Ferrari 0001 Dyck Algebras, Interval Temporal Logic, and Posets of Intervals. Search on Bibsonomy SIAM J. Discret. Math. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Angelo Montanari, Marco Pazzaglia, Pietro Sala Adding one or more equivalence relations to the interval temporal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
16Yuchen Zhou, Dipankar Maity, John S. Baras Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
16Felipe J. Montana, Jun Liu 0015, Tony J. Dodd Sampling-based stochastic optimal control with metric interval temporal logic specifications. Search on Bibsonomy CCA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Yuchen Zhou, Dipankar Maity, John S. Baras Timed automata approach for motion planning using metric interval temporal logic. Search on Bibsonomy ECC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. Search on Bibsonomy ICTCS The full citation details ... 2016 DBLP  BibTeX  RDF
16Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala Prompt Interval Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Alberto Molinari, Angelo Montanari, Adriano Peron Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. Search on Bibsonomy ICTCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
16Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli Parametric metric interval temporal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
16Luca Ferrari 0001 Dyck algebras, interval temporal logic and posets of intervals. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
16Jie Fu, Ufuk Topcu Computational methods for stochastic control with metric interval temporal logic specifications. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
16Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos Metric interval temporal logic specification elicitation and debugging. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 178 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license