Skip to main content

2 Result(s)

within Christian Schwarz Remove this filter Computer Systems Organization and Communication Networks Remove this filter

and

  1. Article

    Open Access

    Alternating complexity of counting first-order logic for the subword order

    This paper considers the structure consisting of the set of all words over a given alphabet together with the subword relation, regular predicates, and constants for every word. We are interested in the counti...

    Dietrich Kuske, Christian Schwarz in Acta Informatica (2023)

    Download PDF (394 KB) View Article

  2. No Access

    Chapter and Conference Paper

    Statistische Parametersynthese für hybride Systeme

    Dieser Artikel behandelt das Parametersynthese-Problem für hybride Systeme. Für ein parametrisiertes Modell und eine Sicherheitsbedingung wird eine sichere Teilmenge einer potentiell unsicheren Parametermenge ...

    Christian Schwarz in Funktionale Sicherheit (2013)