Consistency and refinement for Interval Markov Chains

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. Consistency and refinement for Interval Markov Chains. Journal of Logic and Algebraic Programming, 81(3):209-226, 2012. [doi]

Authors

Benoît Delahaye

This author has not been identified. Look up 'Benoît Delahaye' in Google

Kim G. Larsen

This author has not been identified. Look up 'Kim G. Larsen' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Mikkel L. Pedersen

This author has not been identified. Look up 'Mikkel L. Pedersen' in Google

Andrzej Wasowski

This author has not been identified. It may be one of the following persons: Look up 'Andrzej Wasowski' in Google