Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Search results

  • 2022

    Optimal Mixed Strategies for Cost-Adversarial Planning Games

    Horčík, R., Torralba, A., Rytíř, P., Chrpa, L. & Edelkamp, S., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, Vol. 32. p. 160-168 9 p.

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

    Open Access
    1 Citation (Scopus)

  • Optimal Operation of Residential Heating Systems in Electricity Markets Leveraging Joint Power‐Heat Flexibility

    Golmohamadi, H., 11 Nov 2022, Coordinated Operation and Planning of Modern Heat and Electricity Incorporated Networks. Daneshvar, M., Mohammadi-Ivatloo, B. & Zare, K. (eds.). Wiley-IEEE press, p. 289-318 30 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Parikh Automata over Infinite Words

    Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., 1 Dec 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 p. 40. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 250).

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

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

  • Pattern Selection Strategies for Pattern Databases in Probabilistic Planning

    Klößner, T., Steinmetz, M., Torralba, A. & Hoffmann, J., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, Vol. 32. p. 184-192 9 p.

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

    Open Access
    1 Citation (Scopus)

  • PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems

    Jensen, P. G., Schmid, S., Schou, M. K. & Srba, J., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 225-230 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13505 LNCS).

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

  • PID control of biochemical reaction networks

    Whitby, M., Cardelli, L., Kwiatkowska, M., Laurenti, L., Tribastone, M. & Tschaikowski, M., Feb 2022, In: I E E E Transactions on Automatic Control. 67, 2, p. 1023-1030 8 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    26 Citations (Scopus)
    104 Downloads (Pure)

  • PlayingWORDLE with UPPAAL STRATEGO

    Jensen, P. G., Larsen, K. G. & Mikučionis, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 283-305 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13560 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Probabilistic FlexOffers in Residential Heat Pumps Considering Uncertain Weather Forecast

    Albano, M., Cibin, N., Golmohamadi, H. & Skou, A., 24 Aug 2022, In: Energy Informatics. 5, Suppl. 4, 20 p., 64.

    Research output: Contribution to journal › Conference article in Journal › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    27 Downloads (Pure)

  • Publisher Correction: Closed-form continuous-time neural networks (Nature Machine Intelligence, (2022), 4, 11, (992-1003), 10.1038/s42256-022-00556-7)

    Hasani, R., Lechner, M., Amini, A., Liebenwein, L., Ray, A., Tschaikowski, M., Teschl, G. & Rus, D., Dec 2022, In: Nature Machine Intelligence. 4, 12, p. 1267 1 p.

    Research output: Contribution to journal › Comment/debate › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • Randomized reachability analysis in UPPAAL: fast error detection in timed systems*

    Kiviriga, A., Larsen, K. G. & Nyman, U., 17 Nov 2022, In: International Journal on Software Tools for Technology Transfer. 24, 6, p. 1025-1042 18 p.

    Research output: Contribution to journal › Conference article in Journal › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    33 Downloads (Pure)

  • Relational Fusion Networks: Graph Convolutional Networks for Road Networks

    Skovgaard Jepsen, T., Jensen, C. S. & Nielsen, T. D., Jan 2022, In: IEEE Transactions on Intelligent Transportation Systems. 23, 1, p. 418-429 12 p., 9167450.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    22 Citations (Scopus)
    130 Downloads (Pure)

  • Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables

    Huerta y Munive, J. J., 2022, International Conference on Runtime Verification.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Resilience-Focused Monitoring Framework for Edge Systems.

    Klitgaard, A. S., Sønderby, A. A., Jørgensen, H. S., Petersen, K. W., Dongo, J. & Albano, M., 2022, 2022 IEEE International Conference on Edge Computing and Communications (EDGE). IEEE, p. 153-158 6 p. (IEEE International Conference on Edge Computing and Communications (EDGE)).

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

    2 Citations (Scopus)

  • Rigorous time evolution of p-boxes in non-linear ODEs

    Gray, A., Forets, M., Schilling, C., Benet, L. & Ferson, S., 2022, Book of Extended Abstracts for the 32nd European Safety and Reliability Conference. Research Publishing, p. 154-155 2 p.

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

    Open Access
    File
    44 Downloads (Pure)

  • R-MPLS: Recursive Protection for Highly Dependable MPLS Networks

    Schmid, S., Schou, M. K., Srba, J. & Vanerio, J., 30 Nov 2022, CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, p. 276-292 17 p. (CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies).

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

    Open Access
    File
    22 Downloads (Pure)

  • Robust Computation Tree Logic

    Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., 2022, NASA Formal Methods, NFM 2022: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 538-556 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

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

    Open Access
    File
    1 Citation (Scopus)
    12 Downloads (Pure)

  • Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

    Nayak, S. P., Neider, D. & Zimmermann, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 149-173 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13701 LNCS).

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

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

  • Runtime Verification as Documentation

    Dams, D., Havelund, K. & Kauffman, S., Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Springer, p. 157-173 17 p. (Lecture Notes in Computer Science, Vol. 13702).

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

    2 Citations (Scopus)

  • Simulation Relations and Applications in Formal Methods

    Larsen, K. G., Schilling, C. & Srba, J., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, p. 272-291 20 p. (Lecture Notes in Computer Science, Vol. 13660).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Sleep Classification Using Consumer Sleep Technologies and AI: A review of the current landscape

    Djanian, S., Bruun, A. & Nielsen, T. D., Dec 2022, In: Sleep Medicine. 100, p. 390-403 14 p.

    Research output: Contribution to journal › Review article › peer-review

    Open Access
    File
    12 Citations (Scopus)
    182 Downloads (Pure)

  • Solving String Theories Involving Regular Membership Predicates Using SAT

    Kulczynski, M., Lotz, K., Nowotka, D. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). 1 ed. Springer, Vol. 13255. p. 134-151 18 p. (Lecture Notes in Computer Science, Vol. 13255).

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

    2 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
    2 Citations (Scopus)

  • Stateful to Stateless: Modelling Stateless Ethereum

    Johnson, S., Hyland-Wood, D., Madsen, A. L. & Mengersen, K., 21 Mar 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 355, p. 27-39 13 p.

    Research output: Contribution to journal › Conference article in Journal › Research › peer-review

    Open Access
    File
    9 Downloads (Pure)

  • Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

    Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). Springer, p. 61-78 18 p. (Lecture Notes in Computer Science, Vol. 13255).

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

    1 Citation (Scopus)

  • Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter

    Novak, M., Grobelna, I., Nyman, U., Szcześniak, P. & Blaabjerg, F., 1 Jul 2022, 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia). IEEE Press, p. 76-82 7 p.

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

    Open Access
    File
    1 Citation (Scopus)
    107 Downloads (Pure)

  • STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego

    Goorden, M., Jensen, P. G., Larsen, K. G., Samusev, M., Srba, J. & Zhao, G., 2022, International Symposium on Automated Technology for Verification and Analysis: Automated Technology for Verification and Analysis . Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 327-333 7 p. (Lecture Notes in Computer Science).

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

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

  • Supervisor Synthesis: Bridging Theory and Practice

    Fokkink, W., Goorden, M., van de Mortel-Fronczak, J., Reijnen, F. & Rooda, J., Oct 2022, In: Computer. 55, 10, p. 48-54

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  • 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
    1 Citation (Scopus)

  • The AIM and EM Algorithms for Learning from Coarse Data

    Jaeger, M., 2022, In: Journal of Machine Learning Research. 23

    Research output: Contribution to journal › Journal article › Research › peer-review

  • The Complexity of Evaluating Nfer

    Kauffman, S. & Zimmermann, M., Jul 2022, Theoretical Aspects of Software Engineering, TASE 2022: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (eds.). Springer, p. 388-405 18 p. (Lecture Notes in Computer Science, Vol. 13299).

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

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

  • The current status of gene expression profilings in COVID-19 patients

    Ilieva, M., Tschaikowski, M., Vandin, A. & Uchida, S., Sept 2022, In: Clinical and Translational Discovery. 2, 3, e104.

    Research output: Contribution to journal › Journal article › Research › peer-review

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

  • The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures

    Cuijpers, P. J. L., Schmid, S., Schnepf, N. & Srba, J., 2022, 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'22). IEEE, p. 239-250

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

    1 Citation (Scopus)

  • Timed Automata Learning via SMT Solving

    Tappler, M., Aichernig, B. K. & Lorber, F., 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 489-507 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

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

    4 Citations (Scopus)

  • Understanding the Challenges of Blocking Unnamed Network Traffic.

    Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2022, NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022. Varga, P., Granville, L. Z., Galis, A., Godor, I., Limam, N., Chemouil, P., Francois, J. & Pahl, M-O. (eds.). IEEE, p. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).

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

    Open Access
    File
    9 Downloads (Pure)

  • UniTE - The Best of Both Worlds - Unifying Function-Fitting and Aggregation-Based Approaches to Travel Time and Travel Speed Estimation.

    Jepsen, T. S., Jensen, C. S. & Nielsen, T. D., 2 Nov 2022, In: Transactions on Spatial Algorithms and Systems. 8, 4, p. 1 26 p., 30.

    Research output: Contribution to journal › Journal article › Research › peer-review

  • Verifiable strategy synthesis for multiple autonomous agents: a scalable approach

    Gu, R., Jensen, P. G., Poulsen, D. B., Seceleanu, C., Enoiu, E. & Lundqvist, K., Jun 2022, In: International Journal on Software Tools for Technology Transfer. 24, 3, p. 395-414 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    6 Citations (Scopus)
    50 Downloads (Pure)

  • 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
    21 Citations (Scopus)

  • Web of Things Semantic Interoperability in Smart Buildings

    Laadhar, A., Dongo, J., Enevoldsen, S., Revaz, F., Gabioud, D., Pedersen, T. B., Meyer, M., Nielsen, B. & Thomsen, C., 2022, In: Procedia Computer Science. 207, p. 997-1006 10 p.

    Research output: Contribution to journal › Conference article in Journal › Research › peer-review

    Open Access
    File
    35 Downloads (Pure)
  • 2023

    A Comparison of Different Marginalization Operations in Simple Propagation

    Madsen, A. L. & Butz, C., 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Proceedings. Bouraoui, Z. & Vesic, S. (eds.). Springer, Vol. 14294. p. 172-182 11 p. (Lecture Notes in Computer Science).

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

  • A Demonstration of Interpretability Methods for Graph Neural Networks

    B. Mobaraki, E. & Khan, A., 18 Jun 2023, Proceedings of the 6th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems: GRADES-NDA 2023. Hartig, O. & Yoshida, Y. (eds.). Association for Computing Machinery, 9

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

    Open Access
    File
    13 Downloads (Pure)

  • Algorithmic Minimization of Uncertain Continuous-Time Markov Chains

    Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 1 Nov 2023, In: IEEE Transactions on Automatic Control. 68, 11, p. 6557-6572

    Research output: Contribution to journal › Journal article › Research › peer-review

    1 Citation (Scopus)

  • AllSynth: A BDD-Based Approach for Network Update Synthesis

    Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., Aug 2023, In: Science of Computer Programming. 230, 19 p., 102992.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    10 Downloads (Pure)

  • A Method and Platform for Security Advisory Dissemination Leveraging Web3 Technologies

    Cibin, N., Sommer, J. L., Lund, M. M. & Albano, M., 17 Dec 2023, Proceedings of 6th IEEE International Conference on Blockchain. Haihuadao, China: IEEE, 10411464. (IEEE International Conference on Blockchain).

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

  • A Modeling Concept for Formal Verification of OS-Based Compositional Software

    Ribeiro, L. B., Lorber, F., Nyman, U., Larsen, K. G. & Baunach, M., 2023, 26th International Conference (FASE 2023): Fundamental Approaches to Software Engineering, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Springer, p. 26-46 21 p. (Lecture Notes in Computer Science, Vol. 13991 LNCS).

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

    Open Access
    File
    1 Citation (Scopus)
    2 Downloads (Pure)

  • An Experience with and Reflections on Live Coding with Active Learning

    Schlichtkrull, A., 9 Aug 2023, 4th International Computer Programming Education Conference (ICPEC 2023). de Queiros, R. A. P. & Pinto, M. P. T. (eds.). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 13 p. 14. (Open Access Series in Informatics, Vol. 112).

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

    Open Access
    File
    4 Downloads (Pure)

  • An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). Springer, p. 82-100 19 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 14287).

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

  • Approximate Constrained Lumping of Polynomial Differential Equations

    Leguizamon-Robayo, A., Jiménez-Pastor, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, Computational Methods in Systems Biology: 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings. Pang, J. & Niehren, J. (eds.). Springer, p. 106-123 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14137 LNBI).

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

    1 Citation (Scopus)

  • 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

  • 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
    8 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
    4 Downloads (Pure)