Kwiatkowska Marta

Marta Kwiatkowska

Information about the author Marta Kwiatkowska will soon be added to the site.
Found 1 papers in total
On the complexity of model checking interval-valued discrete time Markov chains
2013
We investigate the complexity of model checking (finite) interval‐valued...
Papers per page: