Cover Image

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Arfvidsson, Kaj Munhoz, Hadjiloizou, Loizos, Jiang, Frank J., Johansson, Karl H., Mårtensson, Jonas
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
by: Arfvidsson, Kaj Munhoz, et al.
Published: (2024)

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination
by: Arfvidsson, Kaj Munhoz, et al.
Published: (2024)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)

Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks
by: Arfvidsson, Kaj Munhoz, et al.
Published: (2024)

Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis
by: Fragkedaki, Kleio, et al.
Published: (2024)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
by: Hafez, Ahmad, et al.
Published: (2024)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
by: Alanwar, Amr, et al.
Published: (2023)

Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication
by: Wong, Annika, et al.
Published: (2025)

Rollout-Based Charging Strategy for Electric Trucks with Hours-of-Service Regulations (Extended Version)
by: Bai, Ting, et al.
Published: (2023)

Safe platooning control of connected and autonomous vehicles on curved multi-lane roads
by: Chen, Xiao, et al.
Published: (2025)

Distributed Charging Coordination of Electric Trucks with Limited Charging Resources
by: Bai, Ting, et al.
Published: (2023)

Observer-Based Control of Second-Order Multi-vehicle Systems in Bearing-Persistently Exciting Formations
by: Tang, Zhiqi, et al.
Published: (2024)

Stable and Fair Benefit Allocation in Mixed-Energy Truck Platooning: A Coalitional Game Approach
by: Bai, Ting, et al.
Published: (2025)

Distributed Charging Coordination for Electric Trucks under Limited Facilities and Travel Uncertainties
by: Bai, Ting, et al.
Published: (2024)

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
by: Zhang, Zhen, et al.
Published: (2025)

JuliaReach: a Toolbox for Set-Based Reachability
by: Bogomolov, Sergiy, et al.
Published: (2019)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
by: Zhang, Zhen, et al.
Published: (2026)

Leveraging Sidewalk Robots for Walkability-Related Analyses
by: Tong, Xing, et al.
Published: (2025)

Shared Situational Awareness Using Hybrid Zonotopes with Confidence Metric
by: Narri, Vandana, et al.
Published: (2025)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
by: Choi, Joonwon, et al.
Published: (2026)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
by: Harapanahalli, Akash, et al.
Published: (2024)

Congestion Forecasting for Electric Vehicle Charging Scheduling with Fluid Queues
by: Kahlert, Joas, et al.
Published: (2026)

En-route Charging Coordination for Electric Trucks
by: Kahlert, Joas, et al.
Published: (2026)

Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming
by: Choi, Joonwon, et al.
Published: (2026)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2023)

On the Reachability and Controllability of Temporal Continuous-Time Linear Networks: A Generic Analysis
by: Zhang, Yuan, et al.
Published: (2023)

Decentralized Optimization via RC-ALADIN with Efficient Quantized Communication
by: Du, Xu, et al.
Published: (2025)

A Matlab-based Toolbox for Automatic EMT Modeling and Small-Signal Stability Analysis of Modern Power Systems
by: Arevalo-Soler, Josep, et al.
Published: (2025)

Reachability Analysis for Design Optimization
by: Nguyen, Steven, et al.
Published: (2026)

Efficient Planning in Large-scale Systems Using Hierarchical Finite State Machines
by: Stefansson, Elis, et al.
Published: (2025)

SOStab: a Matlab Toolbox for Transient Stability Analysis
by: Drobot, Stéphane, et al.
Published: (2023)

Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
by: Gould, Brendan, et al.
Published: (2025)

Distributed and Decentralized Optimization Algorithms via Consensus ALADIN
by: Du, Xu, et al.
Published: (2026)

Secure Filtering against Spatio-Temporal False Data Attacks under Asynchronous Sampling
by: Li, Zishuo, et al.
Published: (2024)

Distributed Optimization with Efficient Communication, Event-Triggered Solution Enhancement, and Operation Stopping
by: Rikos, Apostolos I., et al.
Published: (2025)

Distributed Optimization with Finite Bit Adaptive Quantization for Efficient Communication and Precision Enhancement
by: Rikos, Apostolos I., et al.
Published: (2024)

The PhasorArray Toolbox for Harmonic Analysis and Control Design
by: Grosso, Maxime, et al.
Published: (2025)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)