Timed Automata Learning via SMT Solving

Martin Tappler*, Bernhard K. Aichernig, Florian Lorber

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „Timed Automata Learning via SMT Solving“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science