--- res: bibo_abstract: - We introduce the monitoring of trace properties under assumptions. An assumption limits the space of possible traces that the monitor may encounter. An assumption may result from knowledge about the system that is being monitored, about the environment, or about another, connected monitor. We define monitorability under assumptions and study its theoretical properties. In particular, we show that for every assumption A, the boolean combinations of properties that are safe or co-safe relative to A are monitorable under A. We give several examples and constructions on how an assumption can make a non-monitorable property monitorable, and how an assumption can make a monitorable property monitorable with fewer resources, such as integer registers.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Thomas A foaf_name: Henzinger, Thomas A foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-2985-7724 - foaf_Person: foaf_givenName: Naci E foaf_name: Sarac, Naci E foaf_surname: Sarac foaf_workInfoHomepage: http://www.librecat.org/personId=8C6B42F8-C8E6-11E9-A03A-F2DCE5697425 bibo_doi: 10.1007/978-3-030-60508-7_1 bibo_volume: 12399 dct_date: 2020^xs_gYear dct_identifier: - UT:000728160600001 dct_isPartOf: - http://id.crossref.org/issn/0302-9743 - http://id.crossref.org/issn/1611-3349 - http://id.crossref.org/issn/9783030605070 - http://id.crossref.org/issn/9783030605087 dct_language: eng dct_publisher: Springer Nature@ dct_title: Monitorability under assumptions@ ...