Normann Decker | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor Math AI

Featured Co-authors

Benedikt Bollig
14 publications
Martin Leucker
7 publications
Anton Pirogov
1 publication

research

∙ 10/01/2020

Erratum to "Frequency Linear-time Temporal Logic"

We correct our proof of a theorem stating that satisfiability of frequen...

0 Benedikt Bollig, et al. ∙

research

∙ 01/17/2019

Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic

This paper presents an approximation approach to verifying counter syste...

0 Normann Decker, et al. ∙