Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




280 Publications

2019 | Conference Paper | IST-REx-ID: 6565
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
View | DOI
 
2019 | Thesis | IST-REx-ID: 6894   OA
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6035   OA
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, n.d., pp. 39–44.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6042   OA
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6888
Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019, p. 8793840.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6428
Interface-aware signal temporal logic
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6884   OA
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 11.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6822   OA
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6985   OA
Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6752
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019) 31.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7109
From real-time logic to timed automata
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019) 19.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 7147
Transient memory in gene regulation
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 7159
Shape expressions for specifying and extracting signal features
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6493   OA
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6462   OA
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6885   OA
Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 27.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6886   OA
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 20.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6761
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science (n.d.).
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 299   OA
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 434
Safety-assured model-driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018) 3320–3333.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed