output
20042025
most citedA new simple dynamic muscle fatigue model and its validation

252 citations

researchers with a paper here
collaborating institutions
Showing 2017Show all

1 paper · 1 filter

cs.LO2017

Reachability in Parametric Interval Markov Chains using Constraints

Anicet Bart, Benoit Delahaye, Didier Lime +2

Parametric Interval Markov Chains (pIMCs) are a specification formalism that extend Markov Chains (MCs) and Interval Markov Chains (IMCs) by taking into account imprecision in the…