temporal logic - Robuta Search

https://uwaterloo.ca/data-systems-group/references/temporal-logic-database-query-languages-2 Temporal Logic in Database Query Languages | Data Systems Group | University of Waterloo temporal logic database query https://deepai.org/publication/probabilistic-temporal-logic-over-finite-traces-technical-report Probabilistic Temporal Logic over Finite Traces (Technical Report) | DeepAI Mar 12, 2019 - 03/12/19 - Temporal logics over finite traces have recently gained attention due to their use in real-world applications, in particular in bu... temporal logic technical report probabilistic finite traces https://openreview.net/forum?id=VJ6JTmW5dY Skill Machines: Temporal Logic Composition in Reinforcement Learning | OpenReview A framework where an agent first learns a set of base skills in a reward-free setting, and then combines them with the learned skill machine to produce... temporal logic reinforcement learning skill machines composition https://www.microsoft.com/en-us/research/publication/good-temporal-logic/ What Good Is Temporal Logic? - Microsoft Research Oct 17, 2018 - This was an invited paper. It describes the state of my views on specification and verification at the time. It is notable for introducing the idea of... good is temporal logic microsoft research https://arxiv.org/abs/2107.02509 [2107.02509] A Temporal Logic for Strategic Hyperproperties Abstract page for arXiv paper 2107.02509: A Temporal Logic for Strategic Hyperproperties temporal logic 2107 02509 strategic https://arxiv.org/abs/2602.03486v1 [2602.03486v1] DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic... Abstract page for arXiv paper 2602.03486v1: DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications temporal logic https://www.uni-bamberg.de/gdi/teaching/uebersicht/modal-and-temporal-logic/ Modal and Temporal Logic - Grundlagen der Informatik temporal logic modal grundlagen der informatik https://www.microsoft.com/en-us/research/publication/the-temporal-logic-of-actions/ The Temporal Logic of Actions - Microsoft Research Apr 20, 2023 - This paper introduces TLA, which I now believe is the best general formalism for describing and reasoning about concurrent systems. The new idea in TLA is that... temporal logic of actions microsoft research https://openreview.net/forum?id=hWeto6nboZ Directed Exploration in Reinforcement Learning from Linear Temporal Logic | OpenReview Linear temporal logic (LTL) is a powerful language for task specification in reinforcement learning, as it allows describing objectives beyond the expressivity... linear temporal logic directed exploration reinforcement learning openreview https://openreview.net/forum?id=e8NpNkNrgH&referrer=%5Bthe%20profile%20of%20Naman%20Shah%5D(%2Fprofile%3Fid%3D~Naman_Shah1) Structured Exploration in Reinforcement Learning by Hypothesizing Linear Temporal Logic Formulas |... Exploration in vast domains is a core challenge in reinforcement learning (RL). Existing methods commonly explore by adding noise to the learning process, but... linear temporal logic reinforcement learning structured exploration https://arxiv.org/abs/2411.14581 [2411.14581] Semantics for Linear-time Temporal Logic with Finite Observations Abstract page for arXiv paper 2411.14581: Semantics for Linear-time Temporal Logic with Finite Observations linear time temporal logic 2411 semantics https://www.nist.gov/publications/timestamp-temporal-logic-ttl-time-testing-cyber-physical-systems Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems | NIST Apr 8, 2026 - In order to test the performance and verify the correctness of Cyber-Physical Systems (CPS), the timing constraints on the system behavior must be met. cyber physical systems temporal logic for time https://www.easychair.org/publications/keyword/4T6b Keyword: Temporal logic task temporal logic keyword task https://www.semanticscholar.org/topic/Alternating-time-Temporal-Logic/274852 Alternating-time Temporal Logic | Semantic Scholar In computer science, Alternating-time Temporal Logic, or ATL, is a branching-time temporal logic that naturally describes computations of multi-agent system... temporal logic alternating time semantic scholar https://pub.dev/packages/temporal_logic_flutter temporal_logic_flutter | Flutter package Flutter integration (TraceRecorder, Matchers) for temporal logic. temporal logic flutter package https://pub.dev/documentation/temporal_logic_flutter/latest/ temporal_logic_flutter - Dart API docs temporal_logic_flutter API docs, for the Dart programming language. temporal logic flutter dart api docs https://www.muni.cz/vyzkum/publikace/1206047 Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties |... temporal logic optimal control https://arxiv.org/abs/2303.02135 [2303.02135] Eventual Discounting Temporal Logic Counterfactual Experience Replay Abstract page for arXiv paper 2303.02135: Eventual Discounting Temporal Logic Counterfactual Experience Replay temporal logic 2303 02135 eventual discounting https://arxiv.org/abs/2508.04438 [2508.04438] GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning Abstract page for arXiv paper 2508.04438: GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning temporal logic https://deepai.org/publication/complexity-of-safety-and-cosafety-fragments-of-linear-temporal-logic Complexity of Safety and coSafety Fragments of Linear Temporal Logic | DeepAI Nov 27, 2022 - 11/27/22 - Linear Temporal Logic (LTL) is the de-facto standard temporal logic for system specification, whose foundational properties have b... linear temporal logic complexity safety fragments deepai https://www.coursera.org/learn/temporal-logic-model-checking Temporal Logic Model Checking | Coursera Offered by University of Colorado Boulder. This course introduces the basic concepts of functional verification and model checking, ... Enroll for free. temporal logic model checking coursera https://deepai.org/publication/designing-equilibria-in-concurrent-games-with-social-welfare-and-temporal-logic-constraints Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints | DeepAI Jun 5, 2023 - 06/05/23 - In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved.... https://ctan.org/tex-archive/macros/latex/contrib/temporal-logic CTAN: /tex-archive/macros/latex/contrib/temporal-logic ctan tex archive macros contrib https://www.easychair.org/publications/paper/CG A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems logic verifying metric https://www.easychair.org/publications/preprint/Pn8FD/versions Fuzzy Temporal Predicate Logic for Incomplete Information: Versions predicate logic incomplete information fuzzy temporal versions https://openreview.net/forum?id=Mo01mSAhn2&referrer=%5Bthe%20profile%20of%20Min%20Zhang%5D(%2Fprofile%3Fid%3D~Min_Zhang6) Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints... The polychronous or multi-clock paradigm is adequate to model large distributed systems where achieving a full timed synchronization is not only very costly... https://openreview.net/forum?id=rF-eW_Lsqgc Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic... Reward optimal control of POMDPs with Linear Temporal Logic constraints markov decision processes https://arxiv.org/abs/1203.1180v1 [1203.1180v1] Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with... Abstract page for arXiv paper 1203.1180v1: Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents https://deepai.org/publication/clinical-temporal-relation-extraction-with-probabilistic-soft-logic-regularization-and-global-inference Clinical Temporal Relation Extraction with Probabilistic Soft Logic Regularization and Global... Dec 16, 2020 - 12/16/20 - There has been a steady need in the medical community to precisely extract the temporal relations between clinical events. In part... probabilistic soft logic relation extraction clinical temporal