Reinforcement Learning for Temporal Logic Control Synthesis With Probabilistic Satisfaction Guarantees

doi 10.1109/cdc40024.2019.9028919
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Probabilistic Temporal Logic for Motion Planning With Resource Threshold Constraints

2012English

Probabilistic Inference for Determining Options in Reinforcement Learning

Machine Learning
Artificial IntelligenceSoftware
2016English

Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications

2013English

Probabilistic Performance Guarantees for Distributed Self-Assembly

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2015English

Reinforcement Learning for Decentralized Stochastic Control

2019English

Top-K Query Evaluation With Probabilistic Guarantees

2004English

Probabilistic Discrimination Learning of a Sequential Reinforcement Pattern

Psychonomic Science
1969English

Robust Satisfaction of Temporal Logic Over Real-Valued Signals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy