Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Reimann, Jesse, Mansion, Nico, Haydon, James, Bray, Benjamin, Chattopadhyay, Agnishom, Sato, Sota, Waga, Masaki, André, Étienne, Hasuo, Ichiro, Ueda, Naoki, Yokoyama, Yosuke
Format:	Preprint
Veröffentlicht:	2024
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

Model-bounded monitoring of hybrid systems
von: Waga, Masaki, et al.
Veröffentlicht: (2021)

Parametric Timed Pattern Matching
von: Waga, Masaki, et al.
Veröffentlicht: (2019)

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

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
von: Okudono, Takamasa, et al.
Veröffentlicht: (2024)

Hyper pattern matching
von: Waga, Masaki, et al.
Veröffentlicht: (2025)

Hyper parametric timed CTL
von: Waga, Masaki, et al.
Veröffentlicht: (2024)

Componentwise Automata Learning for System Integration (Extended Version)
von: Fujinami, Hiroya, et al.
Veröffentlicht: (2025)

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
von: Sato, Sota, et al.
Veröffentlicht: (2024)

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version)
von: Fujinami, Hiroya, et al.
Veröffentlicht: (2024)

A Case Study on Runtime Verification of a Continuous Deployment Process
von: Ansai, Shoma, et al.
Veröffentlicht: (2026)

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version)
von: Jouve-Genty, Martin, et al.
Veröffentlicht: (2026)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
von: Phalakarn, Kittiphon, et al.
Veröffentlicht: (2024)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
von: Hsieh, Chiao, et al.
Veröffentlicht: (2025)

Active Learning of Symbolic Mealy Automata
von: Irie, Kengo, et al.
Veröffentlicht: (2025)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
von: Phalakarn, Kittiphon, et al.
Veröffentlicht: (2025)

A Modular First Formalisation of Combinatorial Design Theory
von: Edmonds, Chelsea, et al.
Veröffentlicht: (2021)

A Coalgebraic Dijkstra Algorithm
von: Sanada, Takahiro, et al.
Veröffentlicht: (2026)

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

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Summary Talk: Cosmology and Gravitation
von: Ioav Waga
Veröffentlicht: (2001)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
von: Waga, Masaki, et al.
Veröffentlicht: (2024)

On the best constants of Schur multipliers of second order divided difference functions
von: Caspers, Martijn, et al.
Veröffentlicht: (2024)

On the best constants of Schur multipliers of higher order divided difference functions
von: Caspers, Martijn, et al.
Veröffentlicht: (2025)

Monads and Distributive Laws in Substructural Contexts (Extended Version)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2026)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
von: van der Vegt, Marck, et al.
Veröffentlicht: (2025)

Compositional Value Iteration with Pareto Caching
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Explicit Hopcroft's Trick in Categorical Partition Refinement
von: Sanada, Takahiro, et al.
Veröffentlicht: (2023)

On split exact sequences and KK-equivalences of amplified graph C*-algebras
von: Reimann, Jesse, et al.
Veröffentlicht: (2026)

‘Arithmetic Does not Deal With All the Factors’: How and Why Communities ‘Take Over’ Their NHS Hospital When Faced With Closure
von: Steph Haydon, et al.
Veröffentlicht: (2026)

Formalising CRDTs in Agda
von: Ibrus, Marlene, et al.
Veröffentlicht: (2025)

Steady State Covariance Steering via Sparse Intervention
von: Inoue, Yosuke, et al.
Veröffentlicht: (2026)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Graph Drawing Stress Model with Resistance Distances
von: Onoue, Yosuke
Veröffentlicht: (2025)

Tensor Network Renormalization Study on the Crossover in Classical Heisenberg and $\mathrm{RP^2}$ Models in Two Dimensions
von: Ueda, Atsushi, et al.
Veröffentlicht: (2022)

Finite-size and finite bond dimension effects of tensor network renormalization
von: Ueda, Atsushi, et al.
Veröffentlicht: (2023)

Nonlinear Gaussian process tomography with imposed non-negativity constraints on physical quantities for plasma diagnostics
von: Ueda, Kenji, et al.
Veröffentlicht: (2024)

Nonlinear Bayesian Doppler Tomography for Simultaneous Reconstruction of Flow and Temperature
von: Ueda, Kenji, et al.
Veröffentlicht: (2024)

Formalising the Bruhat-Tits Tree
von: Ludwig, Judith, et al.
Veröffentlicht: (2025)

Formalising CXL Cache Coherence
von: Tan, Chengsong, et al.
Veröffentlicht: (2024)

Formalising Inductive and Coinductive Containers
von: Damato, Stefania, et al.
Veröffentlicht: (2024)