Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation

Download statistics - Document (COUNTER):

Fränzle, Martin: Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation. In: 13th Summer Workshop on Interval Methods - Book of Abstracts. Hannover : Gottfried Wilhelm Leibniz Universität, 2022

Repository version

To cite the version in the repository, please use this identifier: https://doi.org/10.15488/13211

Selected time period:

year: 
month: 

Sum total of downloads: 76




Thumbnail
Abstract: 
[no abstract available]
License of this version: CC BY 3.0 DE
Document Type: BookPart
Publishing status: publishedVersion
Issue Date: 2022
Appears in Collections:Summer Workshop on Interval Methods 2022

distribution of downloads over the selected time period:

downloads by country:

pos. country downloads
total perc.
1 image of flag of Germany Germany 29 38.16%
2 image of flag of United States United States 26 34.21%
3 image of flag of China China 4 5.26%
4 image of flag of Denmark Denmark 3 3.95%
5 image of flag of Japan Japan 2 2.63%
6 image of flag of Greece Greece 2 2.63%
7 image of flag of United Kingdom United Kingdom 2 2.63%
8 image of flag of Vietnam Vietnam 1 1.32%
9 image of flag of Czech Republic Czech Republic 1 1.32%
10 image of flag of Canada Canada 1 1.32%
    other countries 5 6.58%

Further download figures and rankings:


Hinweis

Zur Erhebung der Downloadstatistiken kommen entsprechend dem „COUNTER Code of Practice for e-Resources“ international anerkannte Regeln und Normen zur Anwendung. COUNTER ist eine internationale Non-Profit-Organisation, in der Bibliotheksverbände, Datenbankanbieter und Verlage gemeinsam an Standards zur Erhebung, Speicherung und Verarbeitung von Nutzungsdaten elektronischer Ressourcen arbeiten, welche so Objektivität und Vergleichbarkeit gewährleisten sollen. Es werden hierbei ausschließlich Zugriffe auf die entsprechenden Volltexte ausgewertet, keine Aufrufe der Website an sich.

Search the repository


Browse