Imagen de Portada

Trace Repair for Temporal Behavior Trees

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Schirmer, Sebastian, Schitz, Philipp, Dauer, Johann C., Finkbeiner, Bernd, Sankaranarayanan, Sriram
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Closure and Complexity of Temporal Causality
por: Carelli, Mishel, et al.
Publicado: (2025)

Logics and Algorithms for Hyperproperties
por: Finkbeiner, Bernd
Publicado: (2025)

Coinductive Proofs for Temporal Hyperliveness
por: Correnson, Arthur, et al.
Publicado: (2025)

Synthesis of Temporal Causality
por: Finkbeiner, Bernd, et al.
Publicado: (2024)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
por: Beutner, Raven, et al.
Publicado: (2023)

Explainability Requirements as Hyperproperties
por: Finkbeiner, Bernd, et al.
Publicado: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
por: Beutner, Raven, et al.
Publicado: (2025)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
por: Beutner, Raven, et al.
Publicado: (2025)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
por: Beutner, Raven, et al.
Publicado: (2022)

Syntax-Guided Automated Program Repair for Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2024)

Visualizing Game-Based Certificates for Hyperproperty Verification
por: Beutner, Raven, et al.
Publicado: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
por: Baumeister, Jan, et al.
Publicado: (2025)

Information Flow Guided Synthesis with Unbounded Communication
por: Finkbeiner, Bernd, et al.
Publicado: (2024)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2025)

Differentially Private Runtime Monitoring
por: Finkbeiner, Bernd, et al.
Publicado: (2026)

A Tutorial on Stream-based Monitoring
por: Baumeister, Jan, et al.
Publicado: (2025)

Strategy Logic, Imperfect Information, and Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2025)

Hyper Strategy Logic
por: Beutner, Raven, et al.
Publicado: (2024)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
por: Finkbeiner, Bernd, et al.
Publicado: (2025)

Universal Safety Controllers with Learned Prophecies
por: Finkbeiner, Bernd, et al.
Publicado: (2025)

Synthesis of Universal Safety Controllers
por: Finkbeiner, Bernd, et al.
Publicado: (2025)

Optimal Planning for Timed Partial Order Specifications
por: Watanabe, Kandai, et al.
Publicado: (2024)

Verifying Asynchronous Hyperproperties in Reactive Systems
por: Beutner, Raven, et al.
Publicado: (2025)

Non-Deterministic Planning for Hyperproperty Verification
por: Beutner, Raven, et al.
Publicado: (2024)

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
por: Baumeister, Jan, et al.
Publicado: (2024)

An Intermediate Program Representation for Optimizing Stream-Based Languages
por: Baumeister, Jan, et al.
Publicado: (2025)

Learning Representations Through Contrastive Neural Model Checking
por: Krsmanovic, Vladimir, et al.
Publicado: (2025)

Learning Better Representations From Less Data For Propositional Satisfiability
por: Ghanem, Mohamed, et al.
Publicado: (2024)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
por: Finkbeiner, Bernd, et al.
Publicado: (2026)

Counterfactual Explanations for MITL Violations
por: Finkbeiner, Bernd, et al.
Publicado: (2024)

Monitoring Second-Order Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2024)

Knowledge Compilation for Quantification in Alternating Automata
por: Akshay, S., et al.
Publicado: (2026)

Stream-Based Monitoring of Algorithmic Fairness
por: Baumeister, Jan, et al.
Publicado: (2025)

Dependence Logics in Temporal Settings
por: Baltag, Alexandru, et al.
Publicado: (2022)

The Temporal Logic Synthesis Format TLSF v1.2
por: Jacobs, Swen, et al.
Publicado: (2023)

Guarded Successor: A Novel Temporal Logic
por: Asor, Ohad
Publicado: (2024)

Robust Helicopter Ship Deck Landing With Guaranteed Timing Using Shrinking-Horizon Model Predictive Control
por: Schitz, Philipp, et al.
Publicado: (2026)

Robust Maneuver Planning With Scalable Prediction Horizons: A Move Blocking Approach
por: Schitz, Philipp, et al.
Publicado: (2024)

Trajectory Tracking Control Design for Autonomous Helicopters with Guaranteed Error Bounds
por: Schitz, Philipp, et al.
Publicado: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
por: Antonelli, Melissa, et al.
Publicado: (2026)