25 citations · 61 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014★ 1 cited
Homotopy Bisimilarity for Higher-Dimensional Automata
Uli Fahrenberg, Axel Legay
We introduce a new category of higher-dimensional automata in which the morphisms are functional homotopy simulations, i.e. functional simulations up to concurrency of independent…
cs.LO2010★ 25 cited
Statistical Model Checking : An Overview
Axel Legay, Benoit Delahaye
Quantitative properties of stochastic systems are usually specified in logics that allow one to compare the measure of executions satisfying certain temporal properties with thresh…