Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata. Fundamenta Informaticae, 152(4):411-433, 2017. [doi]
@article{Wozna-Szczesniak17,
title = {SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata},
author = {Bozena Wozna-Szczesniak and Agnieszka M. Zbrzezny and Andrzej Zbrzezny},
year = {2017},
doi = {10.3233/FI-2017-1527},
url = {https://doi.org/10.3233/FI-2017-1527},
researchr = {https://researchr.org/publication/Wozna-Szczesniak17},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {152},
number = {4},
pages = {411-433},
}