Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” In Proceedings of the International Conference on Embedded Software, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8287
arXiv: 1905.02458

Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.”https://doi.org/10.1109/TCAD.2020.3012859__IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, 2020.https://doi.org/10.1109/TCAD.2020.3012859 .
LibreCat: https://research-explorer.ista.ac.at/record/8790
DOI: 10.1109/TCAD.2020.3012859
WoS: 000587712700072
arXiv: 1905.02458

Avni, Guy, Rasmus Ibsen-Jensen, and Josef Tkadlec. “All-Pay Bidding Games on Graphs.”https://doi.org/10.1609/aaai.v34i02.5546__Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2020.https://doi.org/10.1609/aaai.v34i02.5546 .
LibreCat: https://research-explorer.ista.ac.at/record/9197
DOI: 10.1609/aaai.v34i02.5546
arXiv: 1911.08360

Henzinger, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.”https://doi.org/10.1007/978-3-030-60508-7_1__In Runtime Verification, 12399:3–18. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-60508-7_1 .
LibreCat: https://research-explorer.ista.ac.at/record/8623
DOI: 10.1007/978-3-030-60508-7_1
WoS: 000728160600001

Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.”https://doi.org/10.1007/978-3-030-53288-8_14__In Computer Aided Verification, 12224:275–98. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-53288-8_14 .
LibreCat: https://research-explorer.ista.ac.at/record/8195
DOI: 10.1007/978-3-030-53288-8_14
WoS: 000695276000014