Search results
From MaRDI portal
- investment uncertainty 2021-06-07 Paper A two‐dimensional metric temporal logic 2020-05-29 Paper A logic for quantum register measurements 2020-03-20 Paper A...10 bytes (16 words) - 01:50, 9 December 2023
- 2012-11-21 Paper Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic 2012-06-15 Paper Game-theoretic simulation checking tool 2012-03-12...10 bytes (18 words) - 22:33, 12 December 2023
- and decidable metric temporal logic 2005-06-13 Paper https://portal.mardi4nfdi.de/entity/Q4824483 2004-11-01 Paper Future temporal logic needs infinitely...10 bytes (17 words) - 02:04, 9 December 2023
- proving for pointwise metric temporal logic over the naturals via translations 2021-02-17 Paper Metric Temporal Description Logics with Interval-Rigid Names...10 bytes (16 words) - 18:25, 24 September 2023
- Paper Bounded variability of metric temporal logic 2017-10-13 Paper A theory of sampling for continuous-time metric temporal logic 2015-09-17 Paper Loop invariants...10 bytes (18 words) - 10:19, 6 October 2023
- Paper A tool for deciding the satisfiability of continuous-time metric temporal logic 2016-03-29 Paper An SMT-based approach to satisfiability checking...10 bytes (18 words) - 12:28, 6 October 2023
- Paper A tool for deciding the satisfiability of continuous-time metric temporal logic 2016-03-29 Paper An SMT-based approach to satisfiability checking...10 bytes (18 words) - 12:28, 6 October 2023
- Linear Dynamical Systems 2017-07-11 Paper Expressive Completeness for Metric Temporal Logic 2017-07-03 Paper On the Magnitude of Completeness Thresholds in Bounded...10 bytes (18 words) - 22:27, 11 December 2023
- systems against properties of probabilistic metric temporal graph logic 2024-02-12 Paper Metric temporal graph logic over typed attributed graphs 2023-11-24...10 bytes (16 words) - 23:44, 24 September 2023
- Paper A tool for deciding the satisfiability of continuous-time metric temporal logic 2016-03-29 Paper An SMT-based approach to satisfiability checking...10 bytes (19 words) - 12:28, 6 October 2023
- Publication Type Relaxed Decidability and the Robust Semantics of Metric Temporal Logic 2017-07-11 Paper...10 bytes (16 words) - 12:32, 14 March 2024
- Publication Date of Publication Type Programming in metric temporal logic 1998-08-13 Paper https://portal.mardi4nfdi.de/entity/Q4839044 1995-07-13 Paper...10 bytes (16 words) - 10:09, 24 September 2023
- Parametric metric interval temporal logic 2014-12-16 Paper Safraless Procedures for Timed Specifications 2010-09-10 Paper Parametric Metric Interval Temporal...10 bytes (19 words) - 09:10, 7 October 2023
- Type Metric temporal graph logic over typed attributed graphs 2023-11-24 Paper Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph...10 bytes (16 words) - 21:40, 26 December 2023
- 2000-08-10 Paper Metric temporal logic with durations 1997-02-28 Paper Compositional verification of real-time systems with explicit clock temporal logic 1996-07-23...10 bytes (20 words) - 16:36, 9 December 2023
- outer measure logic 2023-05-16 Paper An infinitary propositional probability logic 2023-04-27 Paper A two‐dimensional metric temporal logic 2020-05-29 Paper...10 bytes (16 words) - 23:02, 24 September 2023
- Publication Date of Publication Type Querying Log Data with Metric Temporal Logic 2018-09-06 Paper A multi-period stochastic portfolio optimization model...10 bytes (18 words) - 10:26, 7 October 2023
- Linear Dynamical Systems 2017-07-11 Paper Expressive Completeness for Metric Temporal Logic 2017-07-03 Paper On the Magnitude of Completeness Thresholds in Bounded...10 bytes (17 words) - 01:42, 9 December 2023
- Optimal proofs for linear temporal logic on lasso words 2023-07-28 Paper Almost Event-Rate Independent Monitoring of Metric Temporal Logic 2020-08-05 Paper Almost...10 bytes (18 words) - 22:21, 24 September 2023
- probabilistic metric temporal graph logic 2024-02-12 Paper A logic-based incremental approach to graph repair 2023-11-24 Paper Metric temporal graph logic over...10 bytes (16 words) - 17:02, 24 September 2023