Conference item icon

Conference item

Selective monitoring

Abstract:

We study selective monitors for labelled Markov chains. Monitors observe the outputs that are generated by a Markov chain during its run, with the goal of identifying runs as correct or faulty. A monitor is selective if it skips observations in order to reduce monitoring overhead. We are interested in monitors that minimize the expected number of observations. We establish an undecidability result for selectively monitoring general Markov chains. On the other hand, we show for non-hidden Mark...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed (other)
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.4230/LIPIcs.CONCUR.2018.20

Authors


Grigore, R More by this author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik Publisher's website
Volume:
118
Pages:
20:1--20:16
Publication date:
2018-08-13
Acceptance date:
2018-06-08
DOI:
ISSN:
1868-8969
Pubs id:
pubs:859768
URN:
uri:9155eae0-4f63-4bb3-a83b-f9447115d38a
UUID:
uuid:9155eae0-4f63-4bb3-a83b-f9447115d38a
Local pid:
pubs:859768
ISBN:
978-3-95977-087-3

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP