Results 1 to 10 of about 2,393,674 (352)
DNA Strand-Displacement Temporal Logic Circuits. [PDF]
J Am Chem Soc, 2022 Molecular circuits capable of processing temporal information are essential for complex decision making in response to both the presence and history of a molecular environment.
Lapteva AP, Sarraf N, Qian L.
europepmc +2 more sources
Temporal Logic for Programmable Logic Controllers
Моделирование и анализ информационных систем, 2020 We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements.
Natalia Olegovna Garanina +6 more
doaj +4 more sources
Transfer of Temporal Logic Formulas in Reinforcement Learning. [PDF]
IJCAI (U S), 2019 Transferring high-level knowledge from a source task to a target task is an effective way to expedite reinforcement learning (RL). For example, propositional logic and first-order logic have been used as representations of such knowledge.
Xu Z, Topcu U.
europepmc +3 more sources
Alternating-time temporal logic
Proceedings 38th Annual Symposium on Foundations of Computer Science, 1998 Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by the execution of a system; branching-time temporal logic allows explicit existential and universal quantification over all paths.
Rajeev Alur +2 more
openaire +3 more sources
Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic
AAAI Conference on Artificial Intelligence, 2017 We advocate datalogMTL, a datalog extension of a Horn fragment of the metric temporal logic MTL, as a language for ontology-based access to temporal log data.
Sebastian Brandt +5 more
openalex +3 more sources
Multi-agent Motion Planning from Signal Temporal Logic Specifications [PDF]
IEEE Robotics and Automation Letters, 2022 We tackle the challenging problem of multi-agent cooperative motion planning for complex tasks described using signal temporal logic (STL), where robots can have nonlinear and nonholonomic dynamics.
Dawei Sun +3 more
semanticscholar +1 more source
Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic [PDF]
IEEE Robotics and Automation Letters, 2021 This letter investigates the motion planning of autonomous dynamical systems modeled by Markov decision processes (MDP) with unknown transition probabilities over continuous state and action spaces.
Mingyu Cai +4 more
semanticscholar +1 more source
A Temporal Logic for Asynchronous Hyperproperties [PDF]
International Conference on Computer Aided Verification, 2021 Hyperproperties are properties of computational systems that require more than one trace to evaluate, e.g., many information-flow security and concurrency requirements. Where a trace property defines a set of traces, a hyperproperty defines a set of sets
Jan Baumeister +4 more
semanticscholar +1 more source
Formalization of Intersection Traffic Rules in Temporal Logic
2022 IEEE Intelligent Vehicles Symposium (IV), 2022 Intersections are difficult to navigate for both human drivers and autonomous vehicles because several diverse traffic rules must be considered. In addition, current traffic rules are ambiguous and cannot be applied directly by autonomous vehicles ...
Sebastian Maierhofer +2 more
semanticscholar +1 more source
Temporal Justification Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms.
Samuel Bucheli +2 more
doaj +1 more source