Filter
Conference article in proceeding

Search results

  • 2023

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademic

    Open Access
    1 Downloads (Pure)
  • 2022

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

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Mitsch, S., Schilling, C. & Wetzlinger, M., 1 Jan 2022, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Vol. 90. p. 86-112 27 p. (EPiC Series in Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    69 Downloads (Pure)
  • Computability of the Behaviour of Impacting Systems Beyond Zeno Times

    Collins, P. & Konecny, M., 2022, IFAC PAPERSONLINE. 30 ed. Elsevier, Vol. 55. p. 85-90 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Monadic Systems

    Collins, P., 2022, IFAC PAPERSONLINE. 30 ed. Elsevier, Vol. 55. p. 486-491 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • 2021

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

    Geretti, L., Alexandre dit Sandretto, J., 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.). EPiC, Vol. 80. p. 32–54 (EPiC Series in Computing, Vol. 80).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademic

    Open Access
    File
    119 Downloads (Pure)
  • Explainable AI through the Learning of Arguments

    Bei, J., Pomerenke, D., Schreiner, L., Sharbaf, S., Collins, P. & Roos, N., 2021, Proceedings of BNAIC/BeneLearn 2021: 33rd Benelux Conference on Artificial Intelligence and the 30th Belgian Dutch Conference on Machine Learning BNAIC/BENELEARN. p. 241-255 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    44 Downloads (Pure)
  • 2020

    A computable and compositional semantics for hybrid automata

    Bresolin, D., Collins, P., Geretti, L., Segala, R., Villa, T. & Zivanovic Gonzalez, S., 2020, HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control. New York: The Association for Computing Machinery, p. 1-11 11 p. 18

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    121 Downloads (Pure)
  • ARCH-COMP20 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Dit Sandretto, J. A., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Collins, P., Forets, M., Freire, D., Immler, F., Kochdumper, N., Sanders, D. P. & Schilling, C., 1 Jan 2020, ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20). Vol. 74. p. 49-75 27 p. (EPiC Series in Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    45 Downloads (Pure)
  • 2017

    Semantics and computation of the evolution of hybrid systems with ariadne

    Collins, P., Bresolin, D., Gonzalez, S. Ž., Geretti, L. & Villa, T., 1 Jan 2017, 14th International Conference on Computability and Complexity in Analysis, CCA 2017 - Proceedings. KAIST School of Computing, p. 22-23 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    14 Downloads (Pure)
  • Simultaneous Ensemble Generation and Hyperparameter Optimization for Regression

    Roschewitz, D., Driessens, K. & Collins, P., 2017, Artificial Intelligence: BNAIC 2017. Verheij, B. & Wiering, M. (eds.). Springer, Vol. 823. p. 116-130 (Communications in Computer and Information Science, Vol. 823).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    88 Downloads (Pure)
  • 2015

    Applying novel identication protocols to Markov models of INa

    Clerx, M., Collins, P. & Volders, P., 2015, COMPUTING IN CARDIOLOGY CONFERENCE. 2015. (CinC 2015): Proceedings of the 42nd Annual Conference on Computing in Cardiology. p. 889-892 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review