Refreshing results…
Probabilistic modeling to estimate jellyfish ecophysiological properties and size distributions
Download from www.nature.comParametric Statistical Model Checking of UAV Flight Plan
UploadIntroducing probabilistic reasoning within Event-B
Download from hal.archives-ouvertes.frReachability in Parametric Interval Markov Chains Using Constraints
Download from hal.archives-ouvertes.frMissing publications? Search for publications with a matching author name.