Han Tingting

Tingting Han

Information about the author Tingting Han 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: