User: Guest  Login
More Searchfields
Simple search
Original title:
Inductive Statements for Regular Transition Systems
Translated title:
Induktive Aussagen für reguläre Transitionssysteme
Author:
Welzel-Mohr, Christoph
Year:
2024
Document type:
Dissertation
Faculty/School:
TUM School of Computation, Information and Technology
Institution:
Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
Advisor:
Esparza Estaun, Francisco Javier (Prof. Dr.)
Referee:
Esparza Estaun, Francisco Javier (Prof. Dr.); Widjaja Lin, Anthony (Prof. Dr.)
Language:
en
Subject group:
DAT Datenverarbeitung, Informatik
Keywords:
parameterized verification; regular model checking; regular transition systems
Translated keywords:
parametrisierte Verifikation; reguläre Verifikation; reguläre Transitionssysteme
TUM classification:
DAT 500
Abstract:
On the basis of finite automata, we develop a formalism to analyze regular transition systems with inductive statements. Moreover, we employ automata learning to mine for a sufficient set of inductive statements.
Translated abstract:
Auf der Basis von endlichen Automaten werden reguläre Transitionssysteme mit Hilfe induktiver logischer Aussagen analysiert. Mit Hilfe von Lernalgorithmen für Automaten wird dieser Ansatz verbessert.
WWW:
https://mediatum.ub.tum.de/?id=1721365
Date of submission:
26.09.2023
Oral examination:
18.03.2024
File size:
1190930 bytes
Pages:
203
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240318-1721365-1-0
Last change:
22.05.2024
 BibTeX