Concepedia

Author

Florian Kohn

Carl von Ossietzky Universität OldenburgORCID

Also Known As

Florian Kohn, Kohn, Florian, Rozier, Kristin Yvonne

13

Publications

38

Citations

4

H-Index

10

Concepts

All Affiliations

Carl von Ossietzky Universität Oldenburg
FK

About

Florian Kohn is an author at Carl von Ossietzky Universität Oldenburg specializing in monitoring, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

15

2

Computer Engineering

1

1

15

3

Computer Science

1

1

15

4

Systems Engineering

1

1

15

5

Automated Reasoning

1

1

15

Florian Kohn

×

1

Publications

15

Citations

1

H-Index

YearCitations

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation

Bernd Finkbeiner, Martin Fränzle, Florian Kohn,

Algorithms

2022

15

Page 1