Provides a layered algebraic quantitative semantics for STL-GO where soundness and completeness reduce to monotonicity of abstract accumulators, demonstrated via simulations on Dubins-car and satellite systems under four instantiations.
ISBN 9781450350938
2 Pith papers cite this work, alongside 77 external citations. Polarity classification is still indexing.
2
Pith papers citing it
77
external citations · external index
years
2026 2representative citing papers
STRELGen combines a multi-agent diffusion model with differentiable STREL specifications to optimize latent space for generating plausible yet safety-critical driving scenarios.
citing papers explorer
-
An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators
Provides a layered algebraic quantitative semantics for STL-GO where soundness and completeness reduce to monotonicity of abstract accumulators, demonstrated via simulations on Dubins-car and satellite systems under four instantiations.
-
Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
STRELGen combines a multi-agent diffusion model with differentiable STREL specifications to optimize latent space for generating plausible yet safety-critical driving scenarios.