2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2024
A Decision Method for Elementary Stream Calculus
Harald Ruess
The main result is a doubly exponential decision procedure for the first-order equality theory of streams with both arithmetic and control-oriented stream operations. This stream l…
cs.LO2024
Solving Causal Stream Inclusions
Harald Ruess
We study solutions to systems of stream inclusions of the form 'f in T(f)', where the nondeterministic transformer 'T' on omega-infinite streams is assumed to be causal in the sens…
cs.AI2022★ 2 cited
Safe AI -- How is this Possible?
Harald Rueß, Simon Burton
Ttraditional safety engineering is coming to a turning point moving from deterministic, non-evolving systems operating in well-defined contexts to increasingly autonomous and learn…