Buchumschlag

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Graebener, Josefine B., Badithela, Apurva S., Goktas, Denizalp, Ubellacker, Wyatt, Mazumdar, Eric V., Ames, Aaron D., Murray, Richard M.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory Robotics Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
von: Lin, Xuan, et al.
Veröffentlicht: (2024)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
von: Yu, Pian, et al.
Veröffentlicht: (2025)

Fully Generalized Reactivity(1) Synthesis
von: Ehlers, Rüdiger, et al.
Veröffentlicht: (2024)

LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
von: Ren, Jiming, et al.
Veröffentlicht: (2024)

Vulnerabilities Analysis and Secure Controlling for Unmanned Aerial System Based on Reactive Synthesis
von: Yang, Dong, et al.
Veröffentlicht: (2024)

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
von: Fang, Yue, et al.
Veröffentlicht: (2025)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
von: Qi, Shuhao, et al.
Veröffentlicht: (2024)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
von: Latif, Saba, et al.
Veröffentlicht: (2025)

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
von: Li, Xiaoyan, et al.
Veröffentlicht: (2025)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
von: Takayama, Yoshinari, et al.
Veröffentlicht: (2023)

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
von: Luo, Xusheng, et al.
Veröffentlicht: (2024)

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
von: Liu, Wenliang, et al.
Veröffentlicht: (2025)

Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic
von: Yuasa, Mikihisa, et al.
Veröffentlicht: (2025)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
von: Cardona, Gustavo A., et al.
Veröffentlicht: (2025)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
von: Roy, Rajarshi, et al.
Veröffentlicht: (2025)

A Variety of Request-Response Specifications
von: Aiba, Daichi, et al.
Veröffentlicht: (2025)

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
von: Takayama, Yoshinari, et al.
Veröffentlicht: (2023)

Positional Properties in Temporal Logic
von: Newman, Jessica, et al.
Veröffentlicht: (2026)

Robust Probabilistic Temporal Logics
von: Zimmermann, Martin
Veröffentlicht: (2023)

On Dependent Variables in Reactive Synthesis
von: Akshay, S., et al.
Veröffentlicht: (2024)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic
von: Dotzel, Myra, et al.
Veröffentlicht: (2023)

WEX: Formal Specifications for Windows in Stream Processing
von: Hitarth, S, et al.
Veröffentlicht: (2022)

Synthesising Asynchronous Automata from Fair Specifications
von: Bérard, Béatrice, et al.
Veröffentlicht: (2025)

More on Maximally Permissive Similarity Control of Discrete Event Systems
von: Wang, Yu, et al.
Veröffentlicht: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
von: Bellier, Dylan, et al.
Veröffentlicht: (2026)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
von: Roop, Partha, et al.
Veröffentlicht: (2026)

Closure and Decision Properties for Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2023)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
von: Han, Xiaoguang, et al.
Veröffentlicht: (2024)

Do CFLOBDDs Actually Make Use of Linear Structure?
von: Sistla, Meghana Aparna, et al.
Veröffentlicht: (2026)

Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives
von: Kulkarni, Abhishek Ninad, et al.
Veröffentlicht: (2025)

Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
von: Pshenitsyn, Tikhon
Veröffentlicht: (2025)

Temporal Causal Models as a Model of Computation
von: Gladyshev, Maksim, et al.
Veröffentlicht: (2026)

Spatio-Temporal view on the Topological Functioning Model
von: Spichkova, Maria
Veröffentlicht: (2025)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
von: Tsai, Yun Chen, et al.
Veröffentlicht: (2025)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2025)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
von: Yang, Yunhao, et al.
Veröffentlicht: (2023)

Locality Testing for NFAs is PSPACE-complete
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Engineering an LTLf Synthesis Tool
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2025)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
von: Akshay, S., et al.
Veröffentlicht: (2025)

Temporal Logic Guided Safe Navigation for Autonomous Vehicles
von: Parameshwaran, Aditya, et al.
Veröffentlicht: (2025)