A definition of responsibility is proposed via abstraction of event trace semantics, where responsibility requires a free choice that first ensures the target behavior, incorporating observer cognizance.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2019 2verdicts
UNVERDICTED 2representative citing papers
Authors introduce abstract event streams for gaps in non-synchronized timed traces and a translation of TeSSLa specs that propagates uncertainty to produce sound outputs on partial information.
citing papers explorer
-
Responsibility Analysis by Abstract Interpretation
A definition of responsibility is proposed via abstraction of event trace semantics, where responsibility requires a free choice that first ensures the target behavior, incorporating observer cognizance.
-
Runtime Verification For Timed Event Streams With Partial Information
Authors introduce abstract event streams for gaps in non-synchronized timed traces and a translation of TeSSLa specs that propagates uncertainty to produce sound outputs on partial information.