Cover Image

STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hurley, Isabelle, Paleja, Rohan, Suh, Ashley, Peña, Jaime D., Siu, Ho Chit
Format:	Preprint
Published:	2024
Subjects:	Human-Computer Interaction Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model Learning for Adjusting the Level of Automation in HCPS
by: Hajnorouzi, Mehrnoush, et al.
Published: (2025)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
by: Morazán, Marco T., et al.
Published: (2025)

Fewer Than 1% of Explainable AI Papers Validate Explainability with Humans
by: Suh, Ashley, et al.
Published: (2025)

Enabling Rapid Shared Human-AI Mental Model Alignment via the After-Action Review
by: Gu, Edward, et al.
Published: (2025)

Finite-State Automaton To/From Regular Expression Visualization
by: Morazán, Marco T., et al.
Published: (2024)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
by: Fang, Yue, et al.
Published: (2026)

Compression of executable QR codes or sQRy for Industry: an example for Wi-Fi access points
by: Scanzio, Stefano, et al.
Published: (2025)

Design Support for Multitape Turing Machines
by: Morazán, Marco T., et al.
Published: (2025)

A Design Recipe and Recipe-Based Errors for Regular Expressions
by: Morazán, Marco T., et al.
Published: (2025)

Switching Controller Synthesis for Hybrid Systems Against STL Formulas
by: Su, Han, et al.
Published: (2024)

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

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
by: Waga, Masaki, et al.
Published: (2024)

Why Would You Suggest That? Human Trust in Language Model Responses
by: Sharma, Manasi, et al.
Published: (2024)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
by: Zhao, Yiqi, et al.
Published: (2025)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
by: Acharya, Rohan, et al.
Published: (2024)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic
by: Dotzel, Myra, et al.
Published: (2023)

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

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

When is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?
by: Maneth, Sebastian, et al.
Published: (2025)

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

First-Order Intuitionistic Linear Logic and Hypergraph Languages
by: Pshenitsyn, Tikhon
Published: (2025)

LLM-based policy generation for intent-based management of applications
by: Dzeparoska, Kristina, et al.
Published: (2024)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
by: Yu, Pian, et al.
Published: (2025)

Modeling and specification of distributed timed systems
by: James J. Ortiz
Published: (2013)

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

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

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

Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors
by: Ibarra, Oscar H., et al.
Published: (2024)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
by: Roop, Partha, et al.
Published: (2026)

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability
by: Dhayalkar, Sahil Rajesh
Published: (2026)

Logics for Context-free Hyperproperties
by: Winter, Sarah, et al.
Published: (2026)

Positional Properties in Temporal Logic
by: Newman, Jessica, et al.
Published: (2026)

Robust Probabilistic Temporal Logics
by: Zimmermann, Martin
Published: (2023)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
by: Zheng, Xinyi, et al.
Published: (2025)

Logic and Languages of Higher-Dimensional Automata
by: Amrane, Amazigh, et al.
Published: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
by: Zouari, Safa, et al.
Published: (2024)

WEX: Formal Specifications for Windows in Stream Processing
by: Hitarth, S, et al.
Published: (2022)

The Expansion Problem for Infinite Trees
by: Blumensath, Achim
Published: (2023)

A General Information Extraction Framework Based on Formal Languages
by: Schmid, Markus L.
Published: (2025)

Finite Automata for Efficient Graph Recognition
by: Drewes, Frank, et al.
Published: (2024)