Projects per year
Personal profile
Education/Academic qualification
Computer science, Ph.D., University of Freiburg
2013 → 2018
Award Date: 17 Sept 2018
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
Projects
- 3 Active
-
EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning
Larsen, K. G. (PI), Schilling, C. (CoI) & Tschaikowski, M. (CoI)
15/12/2024 → 14/12/2027
Project: Research
-
Cosyne: Safe Control Systems with Neural Networks
Schilling, C. (PI)
01/09/2024 → 31/08/2028
Project: Research
-
STORM_SAFE: Software reliability for critical infrastructures: Co-Development, Implementation and wider application of solutions in Pilot Infrastructures such as Storm Surge Barriers
Goorden, M. (Project Applicant), Schilling, C. (Project Applicant), Mikučionis, M. (Project Applicant), Larsen, K. G. (Project Applicant) & Kristjansen, M. (Project Participant)
01/01/2024 → 31/12/2027
Project: Research
Research output
-
Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
Brorholt, A. H., Larsen, K. G. & Schilling, C., 5 Jun 2025, AAMAS '25: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems. Association for Computing Machinery (ACM), p. 399 - 407 8 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
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 -
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 AccessFile10 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 AccessFile47 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 AccessFile9 Downloads (Pure)
Datasets
-
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Kochdumper, N. (Creator), Schilling, C. (Creator), Althoff, M. (Creator) & Bak, S. (Creator), Code Ocean, 2022
DOI: 10.24433/co.0983169.v1, https://codeocean.com/capsule/8237552/tree/v1
Dataset