7 citations · 18 across the 9 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 3 cited
The differential calculus of causal functions
David Sprunger, Bart Jacobs
Causal functions of sequences occur throughout computer science, from theory to hardware to machine learning. Mealy machines, synchronous digital circuits, signal flow graphs, and…
cs.LO2019★ 3 cited
Differentiable Causal Computations via Delayed Trace
David Sprunger, Shin-ya Katsumata
We investigate causal computations taking sequences of inputs to sequences of outputs where the th output depends on the first inputs only. We model these in category theory…
cs.LO2019
Relational Differential Dynamic Logic
Juraj Kolčák, Ichiro Hasuo, Jérémy Dubut +3
In the field of quality assurance of hybrid systems (that combine continuous physical dynamics and discrete digital control), Platzer's differential dynamic logic (dL) is widely re…