- An Expressive Probabilistic Temporal Logic
- Online Learning of Event Definitions
- Stacked Thompson Bandits
- Distributed Online Learning of Event Definitions
- Logically-Constrained Reinforcement Learning
- Certified Reinforcement Learning with Logic Guidance
- VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
- Planning with State Abstractions for Non-Markovian Task Specifications
- Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
- Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
- Modular Deep Reinforcement Learning with Temporal Logic Specifications
- Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes
- Tractable Reinforcement Learning of Signal Temporal Logic Objectives
- Transformers Generalize to the Semantics of Logics
- Slicing and dicing soccer: automatic detection of complex events from spatio-temporal data
- Interpretable Safety Validation for Autonomous Vehicles
- Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
- Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
manjunath5496 / temporal-logic-papers Goto Github PK
View Code? Open in Web Editor NEW"Unforeseen surprises are the rule in science, not the exception. Remember: Stuff happens."― Leonard Susskind