Into the Unknown: Active Monitoring of Neural Networks (English)
- New search for: Lukina, Anna
- Further information on Lukina, Anna:
- https://orcid.org/http://orcid.org/0000-0001-9525-0333
- New search for: Schilling, Christian
- Further information on Schilling, Christian:
- https://orcid.org/http://orcid.org/0000-0003-3658-1065
- New search for: Henzinger, Thomas A.
- Further information on Henzinger, Thomas A.:
- https://orcid.org/http://orcid.org/0000-0002-2985-7724
- New search for: Feng, Lu
- Further information on Feng, Lu:
- https://orcid.org/https://orcid.org/0000-0002-4651-8441
- New search for: Fisman, Dana
- Further information on Fisman, Dana:
- https://orcid.org/https://orcid.org/0000-0002-6015-4170
- New search for: Lukina, Anna
- Further information on Lukina, Anna:
- https://orcid.org/http://orcid.org/0000-0001-9525-0333
- New search for: Schilling, Christian
- Further information on Schilling, Christian:
- https://orcid.org/http://orcid.org/0000-0003-3658-1065
- New search for: Henzinger, Thomas A.
- Further information on Henzinger, Thomas A.:
- https://orcid.org/http://orcid.org/0000-0002-2985-7724
In:
Runtime Verification
: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings
;
Chapter: 3
;
42-61
;
2021
- Article/Chapter (Book) / Electronic Resource
-
Title:Into the Unknown: Active Monitoring of Neural Networks
-
Additional title:Lect.Notes Computer
-
Contributors:Feng, Lu ( editor ) / Fisman, Dana ( editor ) / Lukina, Anna ( author ) / Schilling, Christian ( author ) / Henzinger, Thomas A. ( author )
-
Conference:International Conference on Runtime Verification ; 2021
-
Published in:Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings ; Chapter: 3 ; 42-61Lecture Notes in Computer Science ; 12974 ; 42-61
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2021-10-06
-
Size:20 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Predicate Monitoring in Distributed Cyber-Physical SystemsMomtaz, Anik / Basnet, Niraj / Abbas, Houssam / Bonakdarpour, Borzoo et al. | 2021
- 2
-
Specifying Properties over Inter-procedural, Source Code Level Behaviour of ProgramsDawes, Joshua Heneage / Bianculli, Domenico et al. | 2021
- 3
-
Into the Unknown: Active Monitoring of Neural NetworksLukina, Anna / Schilling, Christian / Henzinger, Thomas A. et al. | 2021
- 4
-
Monitoring with Verified GuaranteesDauer, Johann C. / Finkbeiner, Bernd / Schirmer, Sebastian et al. | 2021
- 5
-
On the Specification and Monitoring of Timed Normative SystemsAzzopardi, Shaun / Pace, Gordon / Schapachnik, Fernando / Schneider, Gerardo et al. | 2021
- 6
-
Efficient Black-Box Checking via Model Checking with Strengthened SpecificationsShijubo, Junya / Waga, Masaki / Suenaga, Kohei et al. | 2021
- 7
-
Neural Predictive Monitoring Under Partial ObservabilityCairoli, Francesca / Bortolussi, Luca / Paoletti, Nicola et al. | 2021
- 8
-
A Compositional Framework for Quantitative Online Monitoring over Continuous-Time SignalsMamouras, Konstantinos / Chattopadhyay, Agnishom / Wang, Zhifu et al. | 2021
- 9
-
Nested Monitors: Monitors as Expressions to Build MonitorsGorostiaga, Felipe / Sánchez, César et al. | 2021
- 10
-
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous ProgramsFernando, Vimuth / Joshi, Keyur / Laurel, Jacob / Misailovic, Sasa et al. | 2021
- 11
-
Assumption-Based Runtime Verification of Infinite-State SystemsCimatti, Alessandro / Tian, Chun / Tonetta, Stefano et al. | 2021
- 12
-
Differential MonitoringMuehlboeck, Fabian / Henzinger, Thomas A. et al. | 2021
- 13
-
Ortac: Runtime Assertion Checking for OCaml (Tool Paper)Filliâtre, Jean-Christophe / Pascutto, Clément et al. | 2021
- 14
-
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural NetworksHashemi, Vahid / Křetínský, Jan / Mohr, Stefanie / Seferis, Emmanouil et al. | 2021
- 15
-
Parallel and Multi-objective Falsification with Scenic and VerifAIViswanadha, Kesav / Kim, Edward / Indaheng, Francis / Fremont, Daniel J. / Seshia, Sanjit A. et al. | 2021
- 16
-
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly DetectionShin, Donghwan / Khan, Zanis Ali / Bianculli, Domenico / Briand, Lionel et al. | 2021
- 17
-
Specification and Runtime Verification of Temporal Assessments in SimulinkRajhans, Akshay / Mavrommati, Anastasia / Mosterman, Pieter J. / Valenti, Roberto G. et al. | 2021
- 18
-
PerceMon: Online Monitoring for Perception SystemsBalakrishnan, Anand / Deshmukh, Jyotirmoy / Hoxha, Bardh / Yamaguchi, Tomoya / Fainekos, Georgios et al. | 2021
- 19
-
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime AssuranceTorfah, Hazem / Junges, Sebastian / Fremont, Daniel J. / Seshia, Sanjit A. et al. | 2021