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.
Springer Netherlands, Dordrecht (1999)
2 Pith papers cite this work, alongside 1,125 external citations. Polarity classification is still indexing.
2
Pith papers citing it
1,125
external citations · OpenAlex
years
2026 2representative citing papers
Finite generation of ℕ₀[α] as an additive monoid is fully characterized for minimal polynomials of the form p(X)−c, and any such finitely generated monoid forces α to be a weak Perron number.
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.
-
Finite Generation in Polynomial Semirings
Finite generation of ℕ₀[α] as an additive monoid is fully characterized for minimal polynomials of the form p(X)−c, and any such finitely generated monoid forces α to be a weak Perron number.