Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Article in proceeding

Search results

  • Article in proceeding

    NetSlicer: Automated and Traffic-Pattern Based Application Clustering in Datacenters

    Schiff, L., Ziv, O., Jaeger, M. & Schmid, S., 7 Aug 2018, Big-DAMA 2018 - Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2018. Association for Computing Machinery, p. 21-26 6 p.

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

    3 Citations (Scopus)

  • NetStack: A Game Approach to Synthesizing Consistent Network Updates

    Schmid, S., Schrenk, B. C. & Torralba, A., 2022, 2022 IFIP Networking Conference, IFIP Networking 2022. IEEE, (2022 IFIP Networking Conference, IFIP Networking 2022).

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

    4 Citations (Scopus)

  • Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies

    Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2005, Computers and Their Applications (CATA-2005).

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

    12 Citations (Scopus)

  • New UPPAAl Architecture

    David, A., Behrmann, G., Larsen, K. G. & Yi, W., 2002, Proceedings of the 2nd Workshop on Real-Time Tools (RT-TOOLS 2002), August 1, 2002, Copenhagen, Denmark.

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

  • nfer - A Tool for Event Stream Abstraction

    Kauffman, S., 3 Dec 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings. Calinescu, R. & Pasareanu, C. S. (eds.). Springer, p. 103-109 7 p. (Lecture Notes in Computer Science, Vol. 13085).

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

    2 Citations (Scopus)

  • Nonfinitely Based Tropical Semirings

    Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, Proceedings of the Workshop on Max-Plus Algebra and Their Applications to Discrete-Event Systems : Theoretical Computer Science, and Optimization, August 27-29 2001, Prague, Czech Republic. Gaubert, S. : Loiseau, J. J. (eds.) (ed.). Elsevier, p. 29-34

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

  • Objects, Types and Modal Logics

    Andersen, D. S., Hüttel, H., Kleist, J. & Pedersen, L. H., 1997, Proceedings of FOOL4.

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

  • On Collapsing Prefix Normal Words

    Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Springer, p. 412-424 13 p. (Lecture Notes in Computer Science (LNCS), Vol. 12038).

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

    2 Citations (Scopus)

  • On Counting the Number of Consistent Genotype Assignments for Pedigrees

    Srba, J., 2005, Proceedings of FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Ramanujam, R. & Sen, S. (eds.). IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 3821).

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

  • Online and Compositional Learning of Controllers with Application to Floor Heating

    Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, p. 244-259 15 p. (Lecture Notes in Computer Science, Vol. 9636).

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

    41 Citations (Scopus)

  • Online Balanced Repartitioning

    Avin, C., Loukas, A., Pacut, M. & Schmid, S., 2016, Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings. Gavoille, C. & Ilcinkas, D. (eds.). Springer, p. 243-256 (Lecture Notes in Computer Science, Vol. 9888).

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

    9 Citations (Scopus)

  • Online Testing of Real-time Systems using Uppaal: Status and Future Work

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2004, Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. Brinksma, Grieskamp, Tretmans & Weyuker (eds.). IBFI gem. GmbH, Schloss Dagstuhl, Vol. 04371.

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

  • Online Testing of Real-time Systems Using Uppaal

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2005, Formal Approaches to Testing of Software (FATES 2004) Proceedings. Grabowski, J. & Nielsen, B. (eds.). Springer, p. 79-94 (Lecture Notes in Computer Science; No. 3395).

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

    84 Citations (Scopus)

  • Online tree caching

    Bienkowski, M., Marcinkowski, J., Pacut, M., Schmid, S. & Spyra, A., 24 Jul 2017, SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Vol. Part F129316. p. 329-338 10 p.

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

    9 Citations (Scopus)

  • Online Updating of Conditional Linear Gaussian Bayesian Networks

    Madsen, A. L., Olesen, K. G., Jensen, F., Henriksen, P. A., Larsen, T. M. & Møller, J. M., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models: PMLR. Salmeròn, A. & Rumi, R. (eds.). PMLR Press, Vol. 186. p. 97-108 12 p. (The Proceedings of Machine Learning Research, Vol. 186).

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

    Open Access
    File
    27 Downloads (Pure)

  • On Modal Refinement and Consistency

    Nyman, U., Larsen, K. G. & Wasowski, A., 2007, CONCUR 2007 – Concurrency Theory. IEEE Computer Society Press, p. 105-119 15 p. (Lecture Notes in Computer Science; No. 4703).

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

    Open Access
    File
    51 Citations (Scopus)
    491 Downloads (Pure)

  • On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

    Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, p. 3421-3430 10 p.

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

    12 Citations (Scopus)

  • On the axiomatizability of priority

    Aceto, L., Chen, T., Fokkink, W. & Ingolfsdottir, A., 2006, Automata, Languages and Programming. p. 480-491

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

    11 Citations (Scopus)

  • On the axiomatizability of quantitative algebras

    Mardare, R. I., Panagaden, P. & Plotkin, G., 8 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005102

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

    22 Citations (Scopus)

  • On the Construction of Connectivity Test Cases in the Setting of UppAal

    Nielsen, B., Jens. Chr., G. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - FORTE 2004. Springer, Vol. 3235.

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

  • On-the-Fly Exact Computation of Bisimilarity Distances

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, S. A. (eds.). Springer Publishing Company, Vol. 7795. p. 1-15 (Lecture Notes in Computer Science, Vol. 7795).

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

    34 Citations (Scopus)

  • On-the-Fly Synthesis for Strictly Alternating Games

    Karra, S. L., Larsen, K. G., Rodriguez, M. A. M. & Srba, J., 2020, Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20). Janicki, R., Sidorova, N. & Chatain, T. (eds.). Springer, p. 109-128 20 p. (Lecture Notes in Computer Science, Vol. 12152).

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

  • On the Optimal Efficiency of A* with Dominance Pruning

    Torralba, A., 18 May 2021, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, p. 12007-12014 (Proceedings of the AAAI Conference on Artificial Intelligence; No. 13, Vol. 35).

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

    Open Access
    1 Citation (Scopus)

  • On the Power of Statistical Model Checking

    Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer, p. 843–862 (Lecture Notes in Computer Science, Vol. 9953).

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

    11 Citations (Scopus)

  • On the Specification of Full Contracts

    Okika, J., Ravn, A. P., Fenech, S., Pache, G. & Schneider, G., 2009, Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009). Elsevier, Vol. 253. p. 39-55 (Electronic Notes in Theoretical Computer Science; No. 253, Vol. 1).

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

    8 Citations (Scopus)

  • On the Two-Variable Fragtment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers

    Aceto, L., Ésik, Z. & Ingolfsdottir, A., 2000, STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : Proceedings: Lecture Notes in Computer Science. Reichel, H. : Tison, S. (eds.) (ed.). 1770 ed. IEEE Computer Society Press, p. 267-278

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

  • On the Verification of Weighted Kripke Structures Under Uncertainty

    Bacci, G., Hansen, M. & Larsen, K. G., 1 Jan 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (eds.). Springer, p. 71-86 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11024 LNCS).

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

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

  • On Time with Minimal Expected Cost!

    David, A., Jensen, P. G., Larsen, K. G., Legay, A., Lime, D., Sørensen, M. G. & Taankvist, J. H., 2014, Automated Technology for Verification and Analysis. Cassez, F. & Raskin, J-F. (eds.). Springer Publishing Company, Vol. 8837. p. 129-145 16 p. (Lecture Notes in Computer Science).

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

    45 Citations (Scopus)

  • On Zone-Based Analysis of Duration Probabilistic Automata

    Maler, O., Larsen, K. G. & Krogh, B., Sept 2010, Proceedings of the 12th International Workshop on Verification of Infinite-State Systems. 15 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer Nature Switzerland AG, p. 272-291 20 p. (Lecture Notes in Computer Science, Vol. 13903).

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

    Open Access
    8 Citations (Scopus)

  • Operator-Potential Heuristics for Symbolic Search

    Fišer, D., Torralba, A. & Hoffmann, J., Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, p. 9750-9757 (Proceedings of the AAAI Conference on Artificial Intelligence; No. 9, Vol. 36).

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

    1 Citation (Scopus)

  • Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search

    Fišer, D., Torralba, A. & Jörg, H., 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, p. 80-89 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 32).

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

  • Optimal and robust controller synthesis: Using energy timed automata with uncertainty

    Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P. A., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer, p. 203-221 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10951 LNCS).

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

    8 Citations (Scopus)

  • Optimal Conditional Reachability for Multi-Priced Timed Automata

    Larsen, K. G. & Rasmussen, J. I., 2005, Proceedings of Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Sassone, V. (ed.). IEEE Computer Society Press, p. 234-249 (Lecture Notes in Computer Science; No. 3441).

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

    33 Citations (Scopus)

  • 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 Scheduling and Priced Timed Automata

    Larsen, K. G., 2004, Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala technical report. Pettersson, P. & Yi, W. (eds.). 2004-041 ed. p. 93-94 2 p.

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

    35 Citations (Scopus)

  • Optimal Strategies in Priced Timed Game Automata

    Larsen, K. G., Bouyer, P., Cassez, F. & Fleury, E., 2004, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science. 3328 ed. Springer, p. 148-160 13 p.

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

    76 Citations (Scopus)

  • Optimizing Control Strategy Using Statistical Model Checking

    David, A., Du, D., Larsen, K. G., Legay, A. & Mikucionis, M., 2013, NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer Publishing Company, Vol. 7871. p. 352-367 (Lecture Notes in Computer Science, Vol. 7871).

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

    27 Citations (Scopus)

  • Outsmarting Network Security with SDN Teleportation

    Thimmaraju, K., Schiff, L. & Schmid, S., 28 Jun 2017, Proceedings - 2017 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, p. 563-578 16 p. 7962003

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

    24 Citations (Scopus)

  • O'zapft is: Tap your network algorithm's big data!

    Blenk, A., Kalmbach, P., Kellerer, W. & Schmid, S., 7 Aug 2017, Big-DAMA 2017 - Proceedings of the 2017 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2017. Association for Computing Machinery, p. 19-24 6 p.

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

    28 Citations (Scopus)

  • P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplanes

    Agape, A. A., Danceanu, M. C., Hansen, R. R. & Schmid, S., 5 Jan 2021, ICDCN 2021 - Proceedings of the 2021 International Conference on Distributed Computing and Networking. Association for Computing Machinery, p. 16-25 10 p.

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

    4 Citations (Scopus)

  • Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs

    Salmerón, A., Madsen, A. L., Jensen, F., Langseth, H., Nielsen, T. D., Ramos-López, D., Martinez, A. M. & Masegosa, A., 2016, ECAI 2016: 22nd European Conference on Artificial Intelligence. IOS Press, p. 743-750 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 285).

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

    Open Access
    1 Citation (Scopus)

  • Parametric and Quantitative Extensions of Modal Transition Systems

    Fahrenberg, U., Larsen, K. G., Legay, A. & Traonouez, L-M., 14 Feb 2014, From Programs to Systems.: The Systems perspective in Computing. Bensalem, S., Lakhneck, Y. & Legay, A. (eds.). Springer, Vol. 8415. p. 84-97 (Lecture Notes in Computer Science).

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

    2 Citations (Scopus)

  • Parametric Verification of Weighted Systems

    Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 1 Nov 2015, 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015. Andre, E. & Frehse, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 77-90 14 p. (Open Access Series in Informatics, Vol. 44).

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

    Open Access
    File
    11 Citations (Scopus)
    92 Downloads (Pure)

  • Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

    Nielsen, B., Zhang, Z., Larsen, K. G., Nies, G., Hermanns, H. & Stenger, M., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Springer, p. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Vol. 10610).

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

    3 Citations (Scopus)

  • 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)

  • Partial order reduction for reachability games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

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

    Open Access
    File
    8 Citations (Scopus)
    61 Downloads (Pure)

  • 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 proceeding › Article in proceeding › Research › peer-review

  • Pattern Databases for Goal-Probability Maximization in Probabilistic Planning

    Klößner, T., Hoffmann, J., Steinmetz, M. & Torralba, A., 17 May 2021, Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling . AAAI Press, p. 201-209 8 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 31).

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

    Open Access
    2 Citations (Scopus)

  • 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)