Billede af Christian Schilling

Vis Scopus-profil

Christian Schilling

Lektor

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

  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Danmark

20122025

Publikationer pr. år

Personlig profil

Uddannelse (Akademiske kvalifikationer)

Computer science, Ph.D., University of Freiburg

2013 → 2018

Dimissionsdato: 17 sep. 2018

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler
Vis fuldt fingerprint

Samarbejde i de sidste fem år

Klik på punkterne for at se detaljerne.
Udforsk netværk yderligere
  • 3 Igangværende

  • 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. (red.). 24 udg. Richland, SC, USA: Association for Computing Machinery (ACM), s. 574-583 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang

  • 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. (red.). 24 udg. Richland, SC, USA: Association for Computing Machinery (ACM), s. 399-407 9 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang

  • 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. (red.). 26 udg. Washington, DC: AAAI Press, s. 27250-27257 8 s. (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 26, Bind 39).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang

  • 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. (red.). EasyChair, s. 64-121 58 s. (EPiC Series in Computing, Bind 103).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    Åben adgang
    Fil
    56 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, s. 39-63 25 s. (EPiC Series in Computing, Bind 103).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    Åben adgang
    Fil
    11 Downloads (Pure)
Se alle 75 publikationer