2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LG2021
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)
Giovanni Bacci, Anna Ingólfsdóttir, Kim Larsen +1
Cyber-physical systems (CPSs) are naturally modelled as reactive systems with nondeterministic and probabilistic dynamics. Model-based verification techniques have proved effective…
cs.SE2021★ 2 cited
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components
Luca Aceto, Duncan Paul Attard, Adrian Francalanza +1
The runtime analysis of decentralised software requires instrumentation methods that are scalable, but also minimally invasive. This paper presents a new algorithm that instruments…