The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Metric temporal logic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-2004 (15) 2005-2007 (18) 2008-2010 (17) 2011-2013 (20) 2014-2016 (24) 2017-2019 (29) 2020-2022 (15)
Publication types (Num. hits)
article(55) incollection(1) inproceedings(82)
Venues (Conferences, Journals, ...)
CoRR(29) FORMATS(6) TIME(6) ACC(4) CDC(4) Math. Log. Q.(4) FM(3) KI(3) KR(3) LICS(3) RV(3) AAAI(2) ACM Trans. Comput. Log.(2) ACSD(2) Acta Informatica(2) FoSSaCS(2) More (+10 of total 67)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 39 occurrences of 25 keywords

Results
Found 138 publication records. Showing 138 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
37John Håkansson, Bengt Jonsson 0001, Ola Lundqvist Generating online test oracles from temporal logic specifications. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
35Maria Laura Cobo, Juan Carlos Augusto EMTPL: A Programming Language for Temporal Deductive Data Bases. Search on Bibsonomy SCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Deductive Data Bases, Programming Languages, Metric Temporal Logic
34Truong Nghiem, Sriram Sankaranarayanan 0001, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF testing, robustness, hybrid systems, metric temporal logic
33Sertac Karaman, Emilio Frazzoli Vehicle Routing Problem with Metric Temporal Logic Specifications. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Carlo A. Furia, Matteo Pradella, Matteo Rossi Practical Automated Partial Verification of Multi-paradigm Real-Time Models. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF timed automata, discretization, bounded model checking, Metric temporal logic, dense time
30Hans-Hellmut Nagel Natural Language Description of Image Sequences as a Form of Knowledge Representation. Search on Bibsonomy KI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Image Sequence Evaluation, Fuzzy Metric-Temporal Logic, Natural Language Text Understanding, Road Traffic, Vehicle Behavior, Knowledge Representation, Machine Vision, Situation
30Joël Ouaknine, James Worrell 0001 Some Recent Results in Metric Temporal Logic. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Joël Ouaknine, James Worrell 0001 On Metric Temporal Logic and Faulty Turing Machines. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Joël Ouaknine, James Worrell 0001 Safety Metric Temporal Logic Is Fully Decidable. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Patricia 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
25Joël Ouaknine, James Worrell 0001 On the Decidability of Metric Temporal Logic. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Insu Song, Guido Governatori Hardware Implementation of Temporal Nonmonotonic Logics. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF agent, knowledge representation, temporal logic, nonmonotonic logic, chip design
23Georgios E. Fainekos, George J. Pappas Robustness of Temporal Logic Specifications. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Timed State Sequences, Metric and Linear Temporal Logic, Robustness, Monitoring, Metric spaces
22Son Thanh To, Mark Roberts, Thomas Apker, Benjamin Johnson 0003, David W. Aha Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning. Search on Bibsonomy AAAI Workshop: Planning for Hybrid Systems The full citation details ... 2016 DBLP  BibTeX  RDF
22Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro A Metric Encoding for Bounded Model Checking. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded model checking, metric temporal logic
22Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bi-infinite words and automata, Bounded model checking, metric temporal logic
22Carlo A. Furia, Matteo Pradella, Matteo Rossi Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF real-time, sampling, discretization, metric temporal logic, verification techniques, dense time
22Peter Csaba Ölveczky Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal modeling and analysis, object-oriented real-time systems, embedded medical devices, rewriting logic, metric temporal logic
22Deepak D'Souza, Pavithra Prabhakar On the expressiveness of MTL in the pointwise and continuous semantics. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Metric Temporal Logic, Real-time logics
20Kamal Lodaya, Paritosh K. Pandya A Dose of Timed Logic, in Guarded Measure. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini Trio2Promela: A Model Checker for Temporal Metric Specifications. Search on Bibsonomy ICSE Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Doron Drusinsky Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Vince Kurtz, Hai Lin 0002 A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Nasim Baharisangari, Zhe Xu 0005 Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Martin Fränzle The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic. Search on Bibsonomy A Journey from Process Algebra via Timed Automata to Model Learning The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Vince Kurtz, Hai Lin 0002 A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
17Zhe Xu 0005, Federico M. Zegers, Bo Wu 0005, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
17Zhe Xu 0005, Yichen Zhang Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
17Zhe Xu 0005, Yichen Zhang Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems. Search on Bibsonomy CDC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
17Xiaotian Liu, Pengyi Shi, Tongtong Liu, Sarra Alqahtani, Paúl Pauca, Miles Silman Robustness-driven Exploration with Probabilistic Metric Temporal Logic. Search on Bibsonomy ICAART (2) The full citation details ... 2021 DBLP  BibTeX  RDF
17Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli Timed Trace Alignment with Metric Temporal Logic over Finite Traces. Search on Bibsonomy KR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
17Stefano Baratella, Andrea Masini A two-dimensional metric temporal logic. Search on Bibsonomy Math. Log. Q. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
17Zhe Xu 0005, Bo Wu 0005, Ufuk Topcu Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
17Ullrich Hustadt, Ana Ozaki, Clare Dixon Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
17Zhe Xu 0005, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. Search on Bibsonomy ACC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
17Duc M. Le, Xusheng Luo, Leila Jasmine Bridgeman, Michael M. Zavlanos, Warren E. Dixon Single-Agent Indirect Herding of Multiple Targets using Metric Temporal Logic Switching. Search on Bibsonomy CDC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
17Agnishom Chattopadhyay, Konstantinos Mamouras A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. Search on Bibsonomy RV The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
17Dogan Ulus Online Monitoring of Metric Temporal Logic using Sequential Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
17Zhe Xu 0005, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
17Zhe Xu 0005, Federico M. Zegers, Bo Wu 0005, Warren E. Dixon, Ufuk Topcu Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
17Stefano Baratella, Andrea Masini A two-dimensional metric temporal logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
17Xiaotian Liu, Pengyi Shi, Sarra Alqahtani, Victor Paúl Pauca, Miles Silman Robustness-Driven Exploration with Probabilistic Metric Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
17Usman A. Fiaz, John S. Baras A Hybrid Compositional Approach to Optimal Mission Planning for Multi-rotor UAVs using Metric Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
17Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
17Usman A. Fiaz, John S. Baras Fast, Composable Rescue Mission Planning for UAVs using Metric Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
17Hsi-Ming Ho, Joël Ouaknine, James Worrell 0001 On the Expressiveness and Monitoring of Metric Temporal Logic. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
17Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna 0001 Mutants for Metric Temporal Logic Formulas. Search on Bibsonomy CIbSE The full citation details ... 2019 DBLP  BibTeX  RDF
17Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel Multi-head Monitoring of Metric Temporal Logic. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
17Daniel de Leng, Fredrik Heintz Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
17Zhe Xu 0005, Federico M. Zegers, Bo Wu 0005, Warren E. Dixon, Ufuk Topcu Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach. Search on Bibsonomy Allerton The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
17Jutamard Kawises, Wiwat Vatanawood Formalizing Time Petri Nets with Metric Temporal Logic using Promela. Search on Bibsonomy SNPD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
17Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
17Sayan Saha, Anak Agung Julius Task and Motion Planning for Manipulator Arms With Metric Temporal Logic Specifications. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
17Sebastian Brandt 0001, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev Querying Log Data with Metric Temporal Logic. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
17Hsi-Ming Ho, Joël Ouaknine, James Worrell 0001 On the Expressiveness and Monitoring of Metric Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
17Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification. Search on Bibsonomy CyPhy/WESE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
17Daniel de Leng, Fredrik Heintz Partial-State Progression for Stream Reasoning with Metric Temporal Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
17Carlo A. Furia, Paola Spoletini Bounded variability of metric temporal logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
17Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev Metric Temporal Logic for Ontology-Based Data Access over Log Data. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
17Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya Making Metric Temporal Logic Rational. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
17Sebastian Brandt 0001, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev Querying Log Data with Metric Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
17Houssam Abbas, Matthew O'Kelly, Rahul Mangharam Relaxed Decidability and the Robust Semantics of Metric Temporal Logic. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
17Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya Making Metric Temporal Logic Rational. Search on Bibsonomy MFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
17Sebastian Brandt 0001, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
17Ullrich Hustadt, Ana Ozaki, Clare Dixon Theorem Proving for Metric Temporal Logic over the Naturals. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
17David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel Almost Event-Rate Independent Monitoring of Metric Temporal Logic. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
17Ranko Lazic 0001, Joël Ouaknine, James Worrell 0001 Zeno, Hercules, and the Hydra: Safety Metric Temporal Logic is Ackermann-Complete. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
17Mark Reynolds 0001 Metric temporal logic revisited. Search on Bibsonomy Acta Informatica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
17Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro A tool for deciding the satisfiability of continuous-time metric temporal logic. Search on Bibsonomy Acta Informatica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
17Sayan Saha, A. Agung Julius An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
17Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
17Sayan Saha, A. Agung Julius An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications. Search on Bibsonomy ACC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
17Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya Metric Temporal Logic with Counting. Search on Bibsonomy FoSSaCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
17Sadra Sadraddini, Calin Belta Feasibility envelopes for metric temporal logic specifications. Search on Bibsonomy CDC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
17Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami Checking Metric Temporal Logic with TRACE. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
17Roy Luo, Richard Anthony Valenzano, Yi Li 0008, J. Christopher Beck, Sheila A. McIlraith Using Metric Temporal Logic to Specify Scheduling Problems. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
17Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya Metric Temporal Logic with Counting. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
17Amrith Dhananjayan, Kiam Tian Seow A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Domenico Bianculli, Carlo Ghezzi, Srdan Krstic Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
17Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya Partially Punctual Metric Temporal Logic is Decidable. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
17Jun Liu 0015, Pavithra Prabhakar Switching control of dynamical systems from metric temporal logic specifications. Search on Bibsonomy ICRA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Hendra Gunadi, Alwen Tiu Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. Search on Bibsonomy FM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Houssam Abbas, Andrew K. Winn, Georgios Fainekos, A. Agung Julius Functional gradient descent method for Metric Temporal Logic specifications. Search on Bibsonomy ACC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Hsi-Ming Ho, Joël Ouaknine, James Worrell 0001 Online Monitoring of Metric Temporal Logic. Search on Bibsonomy RV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Carlo A. Furia, Paola Spoletini Bounded Variability of Metric Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya Partially Punctual Metric Temporal Logic is Decidable. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Hsi-Ming Ho On the Expressiveness of Metric Temporal Logic over Bounded Timed Words. Search on Bibsonomy RP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Domenico Bianculli, Carlo Ghezzi, Srdan Krstic Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya On the Decidability and Complexity of Some Fragments of Metric Temporal Logic Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
17Hendra Gunadi, Alwen Tiu Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
17Carlo A. Furia, Paola Spoletini Bounded Variability of Metric Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
17Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro Bounded satisfiability checking of metric temporal logic specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
17Paul Hunter, Joël Ouaknine, James Worrell 0001 Expressive Completeness for Metric Temporal Logic. Search on Bibsonomy LICS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
17Karin Quaas Model Checking Metric Temporal Logic over Automata with One Counter. Search on Bibsonomy LATA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
17Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
17Mark Reynolds 0001 A New Metric Temporal Logic for Hybrid Systems. Search on Bibsonomy TIME The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
17Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro Deciding Continuous-Time Metric Temporal Logic with Counting Modalities. Search on Bibsonomy RP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
17Paul Hunter When is Metric Temporal Logic Expressively Complete?. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
17Paul Hunter, Joël Ouaknine, James Worrell 0001 When is Metric Temporal Logic Expressively Complete? Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 138 (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