Christian Schilling

View Scopus Profile

Christian Schilling

Associate Professor

 https://orcid.org/0000-0003-3658-1065

  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Denmark

20122025

Research activity per year

Filter
Article in proceeding

Search results

  • 2025

    Composing reinforcement learning policies, with formal guarantees

    Delgrange, F., Avni, G., Lukina, A., Schilling, C., Nowé, A. & Pérez, G., 5 Jun 2025, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems. Vorobeychik, Y. (ed.). 24 ed. Richland, SC, USA: Association for Computing Machinery (ACM), p. 574-583 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • Compositional Shielding and Reinforcement Learning for Multi-Agent Systems

    Brorholt, A. H., Larsen, K. G. & Schilling, C., 5 Jun 2025, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems. Vorobeychik, Y. (ed.). 24 ed. Richland, SC, USA: Association for Computing Machinery (ACM), p. 399-407 9 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search

    Demirovic, E., Schilling, C. & Lukina, A., 2025, Proceedings of the AAAI Conference on Artificial Intelligence. Walsh, T., Shah, J. & Kolter, Z. (eds.). 26 ed. Washington, DC: AAAI Press, p. 27250-27257 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 26, Vol. 39).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
  • 2024

    ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Forets, M., Schilling, C. & Wetzlinger, M., 2024, Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (eds.). EasyChair, p. 15-38 24 p. (EPiC Series in Computing, Vol. 103).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File
    15 Downloads (Pure)

  • ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Schilling, C., Tillet, J. & Wetzlinger, M., 2024, Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. EasyChair, p. 39-63 25 p. (EPiC Series in Computing, Vol. 103).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File
    11 Downloads (Pure)

  • ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control System (AINNCS) for Continuous and Hybrid Systems Plants

    Lopez, D. M., Althoff, M., Benet, L., Blab, C., Forets, M., Jia, Y., Johnson, T. T., Kranzl, M., Ladner, T., Linauer, L., Neubauer, P., Neubauer, S. A., Schilling, C., Zhang, H. & Zhong, X., 2024, Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (eds.). EasyChair, p. 64-121 58 p. (EPiC Series in Computing, Vol. 103).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File
    65 Downloads (Pure)

  • Efficient Shield Synthesis via State-Space Transformation

    Brorholt, A. H., Høeg-Petersen, A. H., Larsen, K. G. & Schilling, C., 2024, Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings. Bernhard, S. (ed.). Springer, p. 206-224 19 p. (Lecture Notes in Computer Science, Vol. 15217).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Downloads (Pure)

  • Shielded Reinforcement Learning for Hybrid Systems

    Brorholt, A. H., Jensen, P. G., Larsen, K. G., Lorber, F. & Schilling, C., 2024, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Springer, p. 33-54 22 p. (Lecture Notes in Computer Science, Vol. 14380).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    86 Downloads (Pure)

  • The inverse problem for neural networks

    Forets, M. & Schilling, C., 2024, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Springer, p. 241-255 15 p. (Lecture Notes in Computer Science, Vol. 14380).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)
    3 Downloads (Pure)

  • The Reachability Problem for Neural-Network Control Systems

    Schilling, C. & Zimmermann, M., 2024, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers. Steffen, B. (ed.). Springer, p. 455-469 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14129 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    8 Downloads (Pure)
  • 2023

    ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 61-88 28 p. (EPiC Series in Computing, Vol. 96).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File
    2 Citations (Scopus)
    61 Downloads (Pure)

  • ARCH-COMP23 category report: Continuous and hybrid systems with linear continuous dynamics

    Althoff, M., Forets, M., Li, Y., Mitra, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 34-60 27 p. (EPiC Series in Computing, Vol. 96).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File
    2 Citations (Scopus)
    80 Downloads (Pure)

  • ARCH-COMP23 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Forets, M., Johnson, T. T., Ladner, T. & Schilling, C., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 89-125 37 p. (EPiC Series in Computing, Vol. 96).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File
    18 Citations (Scopus)
    36 Downloads (Pure)

  • Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

    Kochdumper, N., Schilling, C., Althoff, M. & Bak, S., 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer, p. 16–36 20 p. (Lecture Notes in Computer Science, Vol. 13903).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    21 Citations (Scopus)

  • Safety verification of decision-tree policies in continuous time

    Schilling, C., Lukina, A., Demirović, E. & Larsen, K. G., 2023, 37th Conference on Neural Information Processing Systems (NeurIPS 2023). 20 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • symQV: Automated Symbolic Verification of Quantum Programs

    Bauer-Marquart, F., Leue, S. & Schilling, C., 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Springer, p. 181-198 18 p. (Lecture Notes in Computer Science, Vol. LNCS 14000).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    16 Citations (Scopus)
  • 2022

    ARCH-COMP22 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Benet, L., Chen, X., Fan, J., Forets, M., Huang, C., Johnson, T. T., Ladner, T., Li, W., Schilling, C. & Zhu, Q., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 142-184 43 p. (EPiC Series in Computing, Vol. 90).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    21 Citations (Scopus)
    145 Downloads (Pure)

  • ARCH-COMP22 category report: Continuous and hybrid systems with linear continuous dynamics

    Althoff, M., Forets, M., Schilling, C. & Wetzlinger, M., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 58-85 28 p. (EPiC Series in Computing, Vol. 90).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    3 Citations (Scopus)

  • ARCH-COMP22 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Mitsch, S., Schilling, C. & Wetzlinger, M., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 58-85 27 p. (EPiC Series in Computing, Vol. 90).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    4 Citations (Scopus)

  • Conservative Time Discretization: A Comparative Study

    Forets, M. & Schilling, C., 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Springer, p. 149-167 19 p. (Lecture Notes in Computer Science, Vol. 13274).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    8 Citations (Scopus)

  • SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

    Bauer-Marquart, F., Boetius, D., Leue, S. & Schilling, C., 2022, Model Checking Software: 28th International Symposium, SPIN 2022. Legunsen, O. & Rosu, G. (eds.). Springer, p. 79-96 18 p. (Lecture Notes in Computer Science, Vol. 13255).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    4 Citations (Scopus)

  • Synthesis of Parametric Hybrid Automata from Time Series

    García Soto, M., Henzinger, T. A. & Schilling, C., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 337-353 17 p. (Lecture Notes in Computer Science, Vol. 13505).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    3 Citations (Scopus)

  • Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

    Schilling, C., Forets, M. & Guadalupe, S., 2022, Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, p. 8169-8177 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 7, Vol. 36).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    30 Citations (Scopus)
  • 2021

    ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

    Johnson, T. T., Lopez, D. M., Benet, L., Forets, M., Guadalupe, S., Schilling, C., Ivanov, R., Carpenter, T. J., Weimer, J. & Lee, I., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 90-119 30 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    16 Citations (Scopus)

  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Chapoutot, A., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Linares, U., Sanders, D. P., Schilling, C. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 32-54 23 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    9 Citations (Scopus)

  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Ábrahám, E., Forets, M., Frehse, G., Freire, D., Schilling, C., Schupp, S. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 1-31 31 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    10 Citations (Scopus)

  • Into the Unknown: Active Monitoring of Neural Networks

    Lukina, A., Schilling, C. & Henzinger, T. A., 2021, RV. Feng, L. & Fisman, D. (eds.). Springer, p. 42-61 20 p. (Lecture Notes in Computer Science, Vol. 12974).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    18 Citations (Scopus)

  • Reachability of Weakly Nonlinear Systems Using Carleman Linearization

    Forets, M. & Schilling, C., 2021, RP. Bell, P. C., Totzke, P. & Potapov, I. (eds.). Springer, p. 85-99 15 p. (Lecture Notes in Computer Science, Vol. 13035).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    7 Citations (Scopus)

  • Synthesis of hybrid automata with affine dynamics from time-series data

    García Soto, M., Henzinger, T. A. & Schilling, C., 2021, HSCC. Association for Computing Machinery (ACM), 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    10 Citations (Scopus)
  • 2020

    ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D., Kochdumper, N., Li, Y., Mitra, S., Ray, R., Schilling, C., Schupp, S. & Wetzlinger, M., 2020, ARCH. EasyChair, p. 16-48 33 p. (EPiC Series in Computing, Vol. 74).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    5 Citations (Scopus)

  • ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Collins, P., Forets, M., Freire, D., Immler, F., Kochdumper, N., Sanders, D. P. & Schilling, C., 2020, ARCH. EasyChair, p. 49-75 27 p. (EPiC Series in Computing, Vol. 74).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    14 Citations (Scopus)

  • Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

    Forets, M., Freire, D. & Schilling, C., 2020, MEMOCODE. IEEE (Institute of Electrical and Electronics Engineers), 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    7 Citations (Scopus)

  • Outside the Box: Abstraction-Based Monitoring of Neural Networks

    Henzinger, T. A., Lukina, A. & Schilling, C., 2020, ECAI. IOS Press, p. 2433-2440 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 325).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    35 Citations (Scopus)
  • 2019

    ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Bak, S., Forets, M., Frehse, G., Kochdumper, N., Ray, R., Schilling, C. & Schupp, S., 2019, ARCH. EasyChair, p. 14-40 27 p. (EPiC Series in Computing, Vol. 61).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    10 Citations (Scopus)

  • ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M., Geretti, L., Kochdumper, N., Sanders, D. P. & Schilling, C., 2019, ARCH. EasyChair, p. 41-61 21 p. (EPiC Series in Computing, Vol. 61).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    10 Citations (Scopus)

  • JuliaReach: a toolbox for set-based reachability

    Bogomolov, S., Forets, M., Frehse, G., Potomkin, K. & Schilling, C., 2019, HSCC. Association for Computing Machinery (ACM), p. 39-44 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    105 Citations (Scopus)

  • Membership-Based Synthesis of Linear Hybrid Automata

    García Soto, M., Henzinger, T. A., Schilling, C. & Zeleznik, L., 2019, CAV. Springer, p. 297-314 18 p. (Lecture Notes in Computer Science, Vol. 11561).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    13 Citations (Scopus)

  • Semantic Fault Localization and Suspiciousness Ranking

    Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C. & Wüstholz, V., 2019, TACAS. Springer, p. 226-243 18 p. (Lecture Notes in Computer Science, Vol. 11427).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    14 Citations (Scopus)
  • 2018

    ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Bak, S., Chen, X., Fan, C., Forets, M., Frehse, G., Kochdumper, N., Li, Y., Mitra, S., Ray, R., Schilling, C. & Schupp, S., 2018, ARCH. EasyChair, p. 23-52 30 p. (EPiC Series in Computing, Vol. 54).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access

  • Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

    Bogomolov, S., Forets, M., Frehse, G., Viry, F., Podelski, A. & Schilling, C., 2018, HSCC. Association for Computing Machinery (ACM), p. 41-50 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    44 Citations (Scopus)

  • Ultimate Automizer and the Search for Perfect Interpolants: (Competition Contribution)

    Heizmann, M., Chen, Y.-F., Dietsch, D., Greitschus, M., Hoenicke, J., Li, Y., Nutz, A., Musa, B., Schilling, C., Schindler, T. & Podelski, A., 2018, TACAS. Springer, p. 447-451 5 p. (Lecture Notes in Computer Science, Vol. 10806).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    43 Citations (Scopus)

  • Ultimate Taipan with Dynamic Block Encoding: (Competition Contribution)

    Dietsch, D., Greitschus, M., Heizmann, M., Hoenicke, J., Nutz, A., Podelski, A., Schilling, C. & Schindler, T., 2018, TACAS. Springer, p. 452-456 5 p. (Lecture Notes in Computer Science, Vol. 10806).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    2 Citations (Scopus)
  • 2017

    Minimization of Visibly Pushdown Automata Using Partial Max-SAT

    Heizmann, M., Schilling, C. & Tischner, D., 2017, TACAS. Springer, p. 461-478 18 p. (Lecture Notes in Computer Science, Vol. 10205).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    8 Citations (Scopus)

  • Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters

    Kong, H., Bogomolov, S., Schilling, C., Jiang, Y. & Henzinger, T. A., 2017, HSCC. Association for Computing Machinery (ACM), p. 163-172 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    19 Citations (Scopus)

  • Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata: (Competition Contribution)

    Heizmann, M., Chen, Y.-W., Dietsch, D., Greitschus, M., Nutz, A., Musa, B., Schätzle, C., Schilling, C., Schüssele, F. & Podelski, A., 2017, TACAS. Springer, p. 394-398 5 p. (Lecture Notes in Computer Science, Vol. 10206).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    18 Citations (Scopus)

  • Ultimate Taipan: Trace Abstraction and Abstract Interpretation: (Competition Contribution)

    Greitschus, M., Dietsch, D., Heizmann, M., Nutz, A., Schätzle, C., Schilling, C., Schüssele, F. & Podelski, A., 2017, TACAS. Springer, p. 399-403 5 p. (Lecture Notes in Computer Science, Vol. 10206).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    16 Citations (Scopus)
  • 2016

    Discrete Abstraction of Multiaffine Systems

    Kong, H., Bartocci, E., Bogomolov, S., Grosu, R., Henzinger, T. A., Jiang, Y. & Schilling, C., 2016, HSB. Springer, p. 128-144 17 p. (Lecture Notes in Computer Science, Vol. 9957).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    4 Citations (Scopus)

  • High-level Hybrid Systems Analysis with Hypy

    Bak, S., Bogomolov, S. & Schilling, C., 2016, ARCH. EasyChair, p. 80-90 11 p. (EPiC Series in Computing, Vol. 43).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

    Duggirala, P. S., Fan, C., Potok, M., Qi, B., Mitra, S., Viswanathan, M., Bak, S., Bogomolov, S., Johnson, T. T., Nguyen, L. V., Schilling, C., Sogokon, A., Tran, H.-D. & Xiang, W., 2016, CCA. IEEE (Institute of Electrical and Electronics Engineers), p. 1024-1029 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    3 Citations (Scopus)
  • 2015

    Abstraction-Based Parameter Synthesis for Multiaffine Systems

    Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H. & Grosu, R., 2015, HVC. Springer, p. 19-35 17 p. (Lecture Notes in Computer Science, Vol. 9434).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    21 Citations (Scopus)