On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics.

Raveendra Holla Nabarun Deka Deepak D'Souza

Published in: FSTTCS (2021)

Keyphrases

pointwise
weighted sum
highly expressive
nonparametric regression
confidence intervals
polynomial approximation
xml keys
logic programming
data sets
reinforcement learning
logical properties
update semantics