Buchumschlag

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bozkurt, Alper Kamil, Wang, Yu, Zavlanos, Michael, Pajic, Miroslav
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Robotics Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
von: Bozkurt, Alper Kamil, et al.
Veröffentlicht: (2021)

Model-Free Learning of Safe yet Effective Controllers
von: Bozkurt, Alper Kamil, et al.
Veröffentlicht: (2021)

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
von: Bozkurt, Alper Kamil, et al.
Veröffentlicht: (2019)

Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning
von: Bozkurt, Alper Kamil, et al.
Veröffentlicht: (2020)

On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
von: Xuan, Zetong, et al.
Veröffentlicht: (2024)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2022)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
von: Dhonthi, Akshay, et al.
Veröffentlicht: (2024)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
von: Dietrich, Elizabeth, et al.
Veröffentlicht: (2025)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
von: Reimann, Jesse, et al.
Veröffentlicht: (2024)

Logic of Fuzzy Paths
von: Grover, Kush, et al.
Veröffentlicht: (2026)

Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
von: Bozkurt, Alper Kamil, et al.
Veröffentlicht: (2025)

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving
von: Xu, Yuejiao, et al.
Veröffentlicht: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Model Predictive Robustness of Signal Temporal Logic Predicates
von: Lin, Yuanfei, et al.
Veröffentlicht: (2022)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

On the Metric Temporal Logic for Continuous Stochastic Processes
von: Ikeda, Mitsumasa, et al.
Veröffentlicht: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
von: Aghamov, Rajab, et al.
Veröffentlicht: (2025)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
von: Xu, Shaojun, et al.
Veröffentlicht: (2024)

Linear Temporal Justification Logics with Past Operators
von: Ghari, Meghdad
Veröffentlicht: (2018)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
von: Zhang, Maifang, et al.
Veröffentlicht: (2026)

Semantics for Linear-time Temporal Logic with Finite Observations
von: Amjad, Rayhana, et al.
Veröffentlicht: (2024)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
von: Artale, Alessandro, et al.
Veröffentlicht: (2022)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
von: Choton, Jahid Chowdhury, et al.
Veröffentlicht: (2024)

A Game for Counting Logic Formula Size and an Application to Linear Orders
von: Fournier, Gregoire, et al.
Veröffentlicht: (2025)

Proof Complexity of Linear Logics
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2026)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
von: So, Oswin, et al.
Veröffentlicht: (2026)

Guarded Successor: A Novel Temporal Logic
von: Asor, Ohad
Veröffentlicht: (2024)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
von: Chodil, Miroslav, et al.
Veröffentlicht: (2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
von: Mannucci, Mirco A.
Veröffentlicht: (2025)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
von: Tasse, Geraud Nangue, et al.
Veröffentlicht: (2022)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
von: Schön, Oliver, et al.
Veröffentlicht: (2026)

Normalisation for Negative Free Logics without and with Definite Descriptions
von: Kürbis, Nils
Veröffentlicht: (2024)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
von: Artale, Alessandro, et al.
Veröffentlicht: (2024)

Efficient Normalization of Linear Temporal Logic
von: Esparza, Javier, et al.
Veröffentlicht: (2023)