2 papers
cs.LO2020
Decisiveness of Stochastic Systems and its Application to Hybrid Models
Patricia Bouyer, Thomas Brihaye, Mickael Randour +2
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting good properties of finite Markov chains to denumerable ones. Later, this concept…
cs.MS2018
Functional Design of Computation Graph
Pierre Vandenhove
Representing the control flow of a computer program as a computation graph can bring many benefits in a broad variety of domains where performance is critical. This technique is a…