Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Article in proceeding

Search results

  • 2024

    Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink

    Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (eds.). Springer Science+Business Media, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 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 - 1st International Conference, AISoLA 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 proceedingArticle in proceedingResearchpeer-review

    File
    1 Citation (Scopus)
    12 Downloads (Pure)
  • The inverse problem for neural networks

    Forets, M. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 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 proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (Scopus)
  • 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.). Vol. 14294. p. 172-182 11 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

    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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Springer Science+Business Media, p. 26-46 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13991 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
  • 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

  • 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 proceedingArticle in proceedingResearch

    Open Access
  • 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 proceedingArticle in proceedingResearch

    Open Access
  • 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 proceedingArticle in proceedingResearch

    Open Access
  • A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

    Klößner, T., Torralba, Á., Steinmetz, M. & Sievers, S., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 203-211 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Automatic Energy-Efficient Job Scheduling in HPC: A Novel SLURM Plugin Approach

    Springborg, A. A., Albano, M. & Xavier-de-Souza, S., 12 Nov 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, p. 1831-1838 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Automatic Metamorphic Test Oracles for Action-Policy Testing

    Eisenhut, J., Torralba, Á., Christakis, M. & Hoffmann, J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 109-117 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Blockchain-Based Platform for Crowdsourcing Machine Learning Models Design and Training, while Incentivizing Continuous Improvement

    Cibin, N. & Albano, M., 2023, Proceedings - 2023 IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023. IEEE, p. 31-37 7 p. (IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning

    Pham, F. & Torralba, Á., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 5420-5428 9 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2023-August).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

    Carlsen, F. B. Ø., Frydenskov, L. B. P., Jensen, N. Ø., Jenner Rasmussen, J., Sørensen, M. M., Geel Weirsøe, A., Jensen, M. C. & Larsen, K. G., 30 Sept 2023, Games, Automata, Logics, and Formal Verification. Italien: Open Publishing Association, Vol. 390. p. 99-114 16 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    7 Downloads (Pure)
  • Compositional Control Synthesis for Water Management System

    Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 10 Nov 2023, (Submitted) Submitted for publication. p. 1-8 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise

    Schou, M. K., Poese, I. & Srba, J., 2023, Proceedings - 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing, PRDC 2023. IEEE, p. 64-70 7 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    7 Downloads (Pure)
  • Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego

    Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 Nov 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    10 Downloads (Pure)
  • Dynamic Extrapolation in Extended Timed Automata

    Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 Nov 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (eds.). Springer, p. 83-99 17 p. (Lecture Notes in Computer Science, Vol. 14308).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Downloads (Pure)
  • Dynamic Influence Diagram-Based Deep Reinforcement Learning Framework and Application for Decision Support for Operators in Control Rooms

    Mietkiewicz, J., Abbas, A. N., Amazu, C. W., Madsen, A. L. & Baldissone, G., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). p. 2806-2813

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
  • Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit

    Fokkink, W., Goorden, M., Hendriks, D., van Beek, B., Hofkamp, A., Reijnen, F., Etman, P., Moormann, L., van de Mortel-Fronczak, J., Reniers, M. A., Rooda, J., van der Sanden, B., Schiffelers, R., Thuijsman, S., Verbakel, J. & Vogel, H., 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 44-52 9 p. (Lecture Notes in Computer Science, Vol. LNCS 13994).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    44 Downloads (Pure)
  • Edge Computing Tasks Orchestration: An Energy-Aware Approach

    Thomsen, J. L., Thomsen, K., Schmidt, R. B., Jakobsgaard, S. D., Beregaard, T., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (eds.). IEEE, p. 115-117 3 p. (Proceedings - IEEE International Conference on Edge Computing, Vol. 2023-July).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

    Gnad, D., Sievers, S. & Torralba, Á., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Koenig, S., Stern, R. & Vallati, M. (eds.). AAAI Press, p. 138-147 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Elimination of Detached Regions in Dependency Graph Verification

    Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer, Vol. 13872. p. 163-179 17 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Enhancing Control Room Operator Decision Making: An Application of Dynamic Influence Diagrams in Formaldehyde Manufacturing

    Mietkiewicz, J. & Madsen, A. L., 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 17th European Conference, ECSQARU 2023, Proceedings. Bouraoui, Z. & Vesic, S. (eds.). Vol. 14294. p. 15-26 12 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • EXOGEM: Extending OpenAPI Generator for monitoring of RESTful APIs

    Holtebo, D. F., Sommer, J. L., Mølgaard Lund, M., Tibo, A., Dongo, J. & Albano, M., 2023, Service-Oriented Computing – ICSOC 2022 Workshops: ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings. Troya, J., Mirandola, R., Navarro, E., Delgado, A., Segura, S., Fernández, P., Ortiz, G., Pautasso, C., Zirpins, C. & Ruiz-Cortés, A. (eds.). Springer, p. 118-129 12 p. (Lecture Notes in Computer Science, Vol. 13821).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Fault Tolerant Horizontal Computation Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (eds.). IEEE, p. 177-182 6 p. (Proceedings - IEEE International Conference on Edge Computing, Vol. 2023-July).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (Scopus)
  • FlexConnect: Mobile Computational Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 17 Oct 2023, Proceedings of 3rd Eclipse Security, AI, Architecture and Modelling Conference on Cloud to Edge Continuum, eSAAM 2023. Association for Computing Machinery, p. 29-38 10 p. (ACM International Conference Proceeding Series).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
  • Graph Neural Networks for Metagenomic Binning

    Lamurias, A., Tibo, A., Hose, K., Albertsen, M. & Nielsen, T. D., 2023, ICML Workshop on Computational Biology.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Guaranteed safe controller synthesis for switched systems using analytical solutions

    Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R. & Zhao, G., 2023, 2023 IEEE Conference on Control Technology and Applications, CCTA 2023. IEEE, p. 784-790 7 p. (IEEE Conference on Control Technology and Applications (CCTA) - Proceedings).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    22 Downloads (Pure)
  • History-Deterministic Parikh Automata

    Erlich, E., Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., Sept 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 279. p. 31:1-31:16 31. (Leibniz International Proceedings in Informatics).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Interpretability Methods for Graph Neural Networks (Tutorial)

    Khan, A. & B. Mobaraki, E., 10 Oct 2023, Interpretability Methods for Graph Neural Networks. IEEE International Conference on Data Science and Advanced Analytics (DSAA)

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Jajapy: A Learning Library for Stochastic Models

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Joint Link Prediction Via Inference from a Model

    Naddaf, P., Zahirnia, K., Jaeger, M. & Schulte, O., 21 Oct 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 1877-1886 10 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Learning Style Classification by Using Bayesian Networks Based on the Index of Learning Style

    Usme, Y. P. V., Normann, M., Sapsai, I., Abke, J., Madsen, A. L. & Weidl, G., 19 Jun 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. Association for Computing Machinery, p. 73-82 10 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Learning Symbolic Timed Models from Concrete Timed Data

    Dierl, S., Howar, F. M., Kauffman, S., Kristjansen, M., Guldstrand Larsen, K., Lorber, F. & Mauritz, M., 16 May 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer Science+Business Media, p. 104-121 18 p. (Lecture Notes in Computer Science (LNCS), Vol. 13903 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Metagenomic Binning using Connectivity-constrained Variational Autoencoders

    Lamurias, A., Tibo, A., Hose, K., Nielsen, T. D. & Albertsen, M., 2023, International Conference on Machine Learning (ICML). p. 18471–18481 762

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Minimization of Dynamical Systems over Monoids

    Argyris, G., Lafuente, A. L., Robayo, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. (Proceedings - Symposium on Logic in Computer Science, Vol. 2023-June).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

    Riaz, I., Jensen, P. G., Srba, J. & Larsen, K. G., 17 Sept 2023, Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). p. 113-130 18 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 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. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer, p. 16-36 21 p. (Lecture Notes in Computer Science, Vol. 13903).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    3 Citations (Scopus)
  • Patient Event Sequences for Predicting Hospitalization Length of Stay

    Hansen, E. R., Nielsen, T. D., Larsen, T. M., Strausholm, M. N., Sagi, T. & Hose, K., 7 Jun 2023, Artificial Intelligence in Medicine: 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12–15, 2023, Proceedings. Juarez, J. M., Marcos, M., Stiglic, G. & Tucker, A. (eds.). Springer, p. 51-56 6 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 13897).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Potency-Based Heuristic Search with Randomness for Explicit Model Checking

    Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stuck, A. M. & Sørensen, A. S., 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer, Vol. 13872. p. 180-187 8 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Refinement of Systems with an Attacker Focus

    Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Science+Business Media, p. 96-112 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14290 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Robust Alternating-Time Temporal Logic

    Murano, A., Neider, D. & Zimmermann, M., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Springer, Vol. 14281. p. 796-813 18 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Safety verification of decision-tree policies in continuous time

    Schilling, C., Lukina, A., Demirović, E. & Larsen, K. G., 2023, Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2023. 13 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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, Proceedings. Chechik, M., Katoen, J-P. & Leucker, M. (eds.). Springer, p. 181-198 18 p. (Lecture Notes in Computer Science, Vol. 14000).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    3 Citations (Scopus)
  • Uncertainty Quantification for Traffic Forecasting: A Unified Approach

    Qian, W., Zhang, D., Zhao, Y., Zheng, K. & Yu, J. J. Q., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, p. 992-1004 13 p. (Proceedings - International Conference on Data Engineering, Vol. 2023-April).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review