View R&D Publication Details

Department

Electrical Engineering & Computer Science

Department

Electrical Engineering & Computer Science,

Authors

Arpit Sharma

Title of Article

Interactive Markovian Equivalence

Title of journal

Year

2017

Volume

10497 LNCS Springer

DOI

10.1007/978-3-319-66583-2_3

Pages

33 -- 49

Keywords

Markov chains, scheduler, reachability, temporal logic, automaton

Status

Active

Copyright © 2016 Indian Institute of Science Education and Research Bhopal. All rights reserved