View R&D Publication Details

Department

Electrical Engineering & Computer Science

Department

Electrical Engineering & Computer Science

Authors

Arpit Sharma

Title of Article

Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes

Title of journal

Year

2017

Volume

LNCS Springer 10580

DOI

(to appear)

Pages

192 -- 209

Keywords

model checking, temporal logic, timed automaton, equivalence

Status

Active

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