Temporal Logic

18 papers with code · Reasoning

Benchmarks

No evaluation results yet. Help compare methods by submit evaluation metrics.

Greatest papers with code

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems

12 Feb 2019BerkeleyLearnVerify/VerifAI

We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

TEMPORAL LOGIC

Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

31 Jul 2020StanfordASL/stlcg

This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs.

TEMPORAL LOGIC

Distributed Online Learning of Event Definitions

5 May 2017nkatzz/OLED

Logic-based event recognition systems infer occurrences of events in time using a set of event definitions in the form of first-order rules.

ACTIVITY RECOGNITION INDUCTIVE LOGIC PROGRAMMING TEMPORAL LOGIC

Online Learning of Event Definitions

30 Jul 2016nkatzz/OLED

The Event Calculus is a temporal logic that has been used as a basis in event recognition applications, providing among others, direct connections to machine learning, via Inductive Logic Programming (ILP).

ACTIVITY RECOGNITION INDUCTIVE LOGIC PROGRAMMING TEMPORAL LOGIC

Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games

13 Aug 2020eve-mas/eve-parity

In the context of multi-agent systems, the rational verification problem is concerned with checking which temporal logic properties will hold in a system when its constituent agents are assumed to behave rationally and strategically in pursuit of individual objectives.

TEMPORAL LOGIC

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning

16 Sep 2019alperkamil/csrl

We present a reinforcement learning (RL) framework to synthesize a control policy from a given linear temporal logic (LTL) specification in an unknown stochastic environment that can be modeled as a Markov Decision Process (MDP).

MOTION PLANNING TEMPORAL LOGIC

Transformers Generalize to the Semantics of Logics

6 Mar 2020reactive-systems/deepltl

We show that neural networks can learn the semantics of propositional and linear-time temporal logic (LTL) from imperfect training data.

TEMPORAL LOGIC

Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes

11 Jan 2020sisl/POMDPModelChecking.jl

Autonomous systems are often required to operate in partially observable environments.

TEMPORAL LOGIC

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

11 Sep 2019grockious/lcrl

Reinforcement Learning (RL) has emerged as an efficient method of choice for solving complex sequential decision making problems in automatic control, computer science, economics, and biology.

DECISION MAKING DECISION MAKING UNDER UNCERTAINTY HIERARCHICAL REINFORCEMENT LEARNING SAFE REINFORCEMENT LEARNING TEMPORAL LOGIC

Certified Reinforcement Learning with Logic Guidance

2 Feb 2019grockious/lcrl

This probability (certificate) is also calculated in parallel with policy learning when the state space of the MDP is finite: as such, the RL algorithm produces a policy that is certified with respect to the property.

DECISION MAKING DECISION MAKING UNDER UNCERTAINTY HIERARCHICAL REINFORCEMENT LEARNING SAFE REINFORCEMENT LEARNING TEMPORAL LOGIC