12 citations · 20 across the 23 of their papers we have counts for
1 paper · 1 filter
Venkatraman Renganathan
We develop a measure-theoretic framework for Temporal-Logical Stochastic Processes (TLSP), in which temporal-logic specifications induce time-indexed stochastic observables capturi…