SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata*

DOI10.3233/FI-2017-1527zbMath1375.68075OpenAlexW2615379976MaRDI QIDQ4595603

Andrzej Zbrzezny, Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny

Publication date: 5 December 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2017-1527

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata*