50 citations · 158 across the 23 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Linked visualisations via Galois dependencies
Roly Perera, Minh Nguyen, Tomas Petricek +1
We present new language-based dynamic analysis techniques for linking visualisations and other structured outputs to data in a fine-grained way, allowing a user to interactively ex…
math.PR2021
Stochastic maximum principle for systems driven by local martingales with spatial parameters
Jian Song, Meng Wang
We consider the stochastic optimal control problem for the dynamical system of the stochastic differential equation driven by a local martingale with a spatial parameter. Assuming…