Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • An Information-Theoretic Approach to Model Identification in Interactive Influence Diagrams

    Zeng, Y. & Doshi, P., 2008, IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2008. WI-IAT '08.. IEEE, Vol. 2. p. 224-230 7 p.

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

    3 Citations (Scopus)
  • An Integer Static Analysis for Better Extrapolation in Uppaal

    Lund, S., van Diepen, J., Larsen, K. G., Muñiz, M., Jørgensen, T. R. & Andersen, T. S. D., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, p. 84-99 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).

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

    1 Citation (Scopus)
  • An Integrated Pruning Criterion for Ensemble Learning Based on Classification Accuracy and Diversity

    Fu, B., Wang, Z., Pan, R., Xu, G. & Dolog, P., 2013, 7th International Conference on Knowledge Management in Organizations: Service and Cloud Computing. Springer Publishing Company, Vol. 172. p. 47-58 12 p. (Advances in Intelligent Systems and Computing, Vol. 172).

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

    9 Citations (Scopus)
  • An Integrative Model for Configuration Management and Version Control

    Bendix, L., 1995, Preprints of the 5th International Workshop on Software Configuration Management, April 1995. Washington, p. 259-266

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  • An intelligent design system for military situation assessment

    Xiang, Y., Zeng, Y., Zhu, W. & Poh, K-L., 2008, Proceedings of 2008 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008. IEEE, Vol. 1. p. 17-19

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

    3 Citations (Scopus)
  • An Interaction Engine for Rich Hypertexts

    Østerbye, K. & Nørmark, K., 1994, European Conference on Hypermedia Technology, September 1994. Association for Computing Machinery, p. 167-176

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    16 Citations (Scopus)
  • An MBR-Oriented Approach for Efficient Skyline Query Processing

    Zhang, J., Wang, W., Jiang, X., Ku, W-S. & Lu, H., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 806-817 12 p. 8731386. (Proceedings of the International Conference on Data Engineering).

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

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

  • Anomaly Detection in Time Series with Robust Variational Quasi-Recurrent Autoencoders

    Kieu, T., Yang, B., Guo, C., Cirstea, R-G., Zhao, Y., Song, Y. & Jensen, C. S., 2022, Proceeding of the 38th IEEE International Conference on Data Engineering, ICDE 2022. IEEE, p. 1342-1354 13 p.

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

    17 Citations (Scopus)
  • An Open Platform for the Creation and Deployment of Transport-Related Mobile Data Services

    Jensen, C. S., Torp, K. & Wind, R., 2007, Proceedings of the Sixth European Congress and Exhibition on Intelligent Transport Systems and Services, Aalborg, Denmark. 8 p.

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

  • An Open-Source Based ITS Platform

    Andersen, O., Krogh, B. B. & Torp, K., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 2. IEEE Press, Vol. 2. p. 27-32

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

    14 Citations (Scopus)
  • An Open Source Dataset and Ontology for Product Footprinting

    Ghose, A., Hose, K., Lissandrini, M. & Weidema, B. P., 2019, The Semantic Web: ESWC 2019 Satellite Events - ESWC 2019 Satellite Events, Revised Selected Papers. Hitzler, P., Kirrane, S., Hartig, O., de Boer, V., Schlobach, S., Vidal, M-E., Maleshkova, M., Hammar, K., Lasierra, N., Stadtmüller, S., Hose, K. & Verborgh, R. (eds.). Springer, p. 75-79 5 p. (Lecture Notes in Computer Science, Vol. 11762).

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

    3 Citations (Scopus)
  • An Open Source Environment for an Agile Development Model

    Ciancarini, P., Missiroli, M., Poggi, F. & Russo, D., 1 Jan 2020, Open Source Systems - 16th IFIP WG 2.13 International Conference, OSS 2020, Proceedings. Ivanov, V., Kruglov, A., Masyagin, S., Sillitti, A. & Succi, G. (eds.). Springer VS, p. 148-162 15 p. (I F I P Advances in Information and Communication Technology, Vol. 582).

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

    Open Access
    8 Citations (Scopus)
  • An optimization approach to believable behavior in computer games

    Zeng, Y., Mao, H., Yang, F. & Luo, J., 4 Feb 2013, Agents and Data Mining Interaction: 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers. Cao, L., Zeng, Y., Symeonidis, A. L., Gorodetsky, V. I., Yu, P. S. & Singh, M. P. (eds.). Springer Publishing Company, p. 81-92 12 p. (Lecture Notes in Computer Science, Vol. 7607).

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

    2 Citations (Scopus)
  • An RFID and particle filter-based indoor spatial query evaluation system

    Yu, J., Ku, W-S., Sun, M-T. & Lu, H., 2013, Proceedings of the 16th International Conference on Extending Database Technology. Association for Computing Machinery, p. 263-274

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

    28 Citations (Scopus)
  • Answering provenance-aware queries on RDF data cubes under memory budgets

    Galárraga, L., Ahlstrøm, K., Hose, K. & Pedersen, T. B., 1 Jan 2018, The Semantic Web – ISWC 2018 - 17th International Semantic Web Conference, 2018, Proceedings. Suárez-Figueroa, M. C., Presutti, V., Kaffee, L-A., Simperl, E., Sabou, M., Vrandecic, D., Celino, I. & Bontcheva, K. (eds.). Springer, p. 547-565 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11136 LNCS).

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

    8 Citations (Scopus)
  • Answering Why-Not Group Spatial Keyword Queries (Extended Abstract)

    Zheng, B., Zheng, K., Jensen, C. S., Hung, N. Q. V., Su, H., Li, G. & Zhou, X., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 2155-2156 2 p. 8731602. (Proceedings of the International Conference on Data Engineering).

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

    1 Citation (Scopus)
  • Answering why-not questions on metric probabilistic range queries

    Chen, L., Gao, Y., Wang, K., Jensen, C. S. & Chen, G., 2016, 32nd IEEE International Conference on Data Engineering, ICDE 2016. IEEE, p. 767-778

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

    15 Citations (Scopus)
  • Answering why-not questions on spatial keyword top-k queries

    Chen, L., Lin, X., Hu, H., Jensen, C. S. & Xu, J., Apr 2015, 31st IEEE International Conference on Data Engineering. IEEE, p. 279-290

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

    57 Citations (Scopus)
  • Answering why-not spatial keyword top-k queries via keyword adaption

    Chen, L., Xu, J., Lin, X., Jensen, C. S. & Hu, H., 2016, 32nd IEEE International Conference on Data Engineering, ICDE 2016. IEEE, p. 697-708

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

    43 Citations (Scopus)
  • Anticipated Activities in Process Control, Literary Fiction, and Business Processes

    Andersen, P. B., 2003, Proceedings of the 6th Int. Workshop on Organizational Semiotics. Dept. of Computer Science, University of Reading:. p. 1-28

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  • A NUMA-aware Trajectory Store for Travel-Time Estimation

    Waury, R., Jensen, C. S. & Torp, K., 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (eds.). Association for Computing Machinery, p. 209-218 10 p.

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

    2 Citations (Scopus)
  • A Peer-to-Peer Indexing Service for Data Grids

    Jensen, H. T. & Kleist, J., 2007, Advances in Grid and Pervasive Computing: Second International Conference, GPC07. Cérin, C. & Li, K-C. (eds.). IEEE Computer Society Press, p. 507-518 12 p. (Lecture Notes in Computer Science; No. 4459).

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

  • A Platform for Developing and Maintaining Competences in PBL Supervision

    Gnaur, D. & Huttel, H., Dec 2017, Emerging Technologies for Education: International Symposium on Emerging Technologies for Education. Huang, T-C., Lau, R., Huang, Y-M., Spaniol, M. & Yuen, C-H. (eds.). Springer, p. 297-303 6 p. (Lecture Notes in Computer Science, Vol. 10676).

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

    4 Citations (Scopus)
  • A Powerful and SQL-Compatible Data Model and Query Language for OLAP

    Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Zhou, Xiaofang (ed.): ACS Conferences in Research and Practice in Information Technology (CRPIT). 5 ed. Australian Computer Society, p. 121-130

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  • Applications of Probabilistic Graphical Models to Diagnosis and Control of Autonomous Vehicles

    Madsen, A. L., Kjærulff, U. B., Kalwa, J., Perrier, M. & Sotelo, M. A., 2004, The Second Bayesian Modeling Applications Workshop.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    Open Access
    File
    798 Downloads (Pure)
  • Applying CASE Tools to Support Method Learning

    Eriksen, L. B. & Stage, J., 1996, Proceedings of the 19th Information Systems Research Seminar in Scandinavia, IRIS 19: Gothenburg Studies in Informatics. Dahlbom, B. et al. (ed.) (ed.). Report 8 ed. Departments of Informatics

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  • Applying object-oriented bayesian networks for smart diagnosis and health monitoring at both component and factory level

    Madsen, A. L., Søndberg-Jeppesen, N., Sayed, M. S., Peschl, M. & Lohse, N., 2017, Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Proceedings. Springer, Vol. Part II. p. 132-141 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10351 LNCS).

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

    3 Citations (Scopus)
  • Applying Object Oriented Bayesian Networks to Large Medical Decision Support Systems

    Bangsø, O. & Olesen, K. G., 2003, Proceedings of SCAI' 03. <Forlag uden navn>

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  • Approximate and Interactive Processing of Aggregate Queries on Knowledge Graphs: A Demonstration

    Wang, Y., Khan, A., Xu, X., Ye, S., Pan, S. & Zhou, Y., 17 Oct 2022, CIKM 2022 - Proceedings of the 31st ACM International Conference on Information and Knowledge Management. 31st ACM International Conference on Information and Knowledge Management (CIKM ’22), October 17–21, 2022, Atlanta, GA, USA. : Association for Computing Machinery, p. 5034-5038 5 p.

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

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

  • Approximate Lazy Evaluation of Influence Diagrams

    Cabañas, R., Cano, A., Gómez-Olmedo, M. & Madsen, A. L., 2013, Proceedings of the 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013. Bielza, C., Salmerón, A., Alonso-Betanzos, A., Ignacio Hidalgo, J., Martínez, L., Troncoso, A., Corchado, E. & Corchado, J. M. (eds.). Springer Publishing Company, Vol. LNCP 8109. p. 321-331 (Lecture Notes in Computer Science, Vol. 8109).

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

    1 Citation (Scopus)
  • Approximate representation of optimal strategies from influence diagrams

    Jensen, F. V., 2008, Proceedings of the 4th European Workshop on Probabilistic Graphical Models. Jaeger, M. & Nielsen, T. D. (eds.). p. 153-159 7 p.

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

    3 Citations (Scopus)
  • Approximate Solutions of Interactive Dynamic Influence Diagrams Using epsilon-Behavioral Equivalence

    Kumaran, M., Prashant, D. & Zeng, Y., 2010, The Eleventh International Symposium on Artificial Intelligence and Mathematics: Proceedings. 7 p.

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

  • Approximate Solutions of Interactive Dynamic Influence Diagrams Using Model Clustering

    Zeng, Y., Doshi, P. & Qiongyu, C., 2007, PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE. AAAI Press, p. 782-787 6 p.

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

    17 Citations (Scopus)
  • Approximating Euclidean by Imprecise Markov Decision Processes

    Jaeger, M., Bacci, G., Bacci, G., Larsen, K. G. & Jensen, P. G., 2020, International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Margaria, T. & Steffen, B. (eds.). Springer, p. 275-289 15 p. (Lecture Notes in Computer Science, Vol. 12476).

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

    7 Citations (Scopus)
  • Approximating Model Equivalence in Interactive Dynamic Influence Diagrams Using Top K Policy Paths

    Zeng, Y., Chen, Y. & Doshi, P., 1 Jan 2011, Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2011. Hübner, J. F., Petit, J-M. & Suzuki, E. (eds.). IEEE Computer Society Press, Vol. 3. p. 208-211 4 p.

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

    3 Citations (Scopus)
  • A practical delivery route planning system

    Gitz-Johansen, A., Holm, M. E., Kirkeby, L. V., Kristiansen, D., Ostenfeld, A. S., Schou, M. K. & Yang, B., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, p. 349-350 2 p. 8788747. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

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

    1 Citation (Scopus)
  • A precise information flow measure from imprecise probabilities

    Others, A., 2012, Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability, SERE 2012. IEEE, p. 128-137

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

    4 Citations (Scopus)
  • A predictable Java profile: rationale and implementations

    Bøgholm, T., Hansen, R. R., Ravn, A. P., Thomsen, B. & Søndergaard, H., 2009, ACM International Conference Proceeding Series: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, p. 150-159

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

    22 Citations (Scopus)
  • A probabilistic model for prediction of blood glucose and advice on insulin dose

    Benn, J. J., Hovorka, R., Rasmussen, O., Olesen, K. G., Carson, E. R. & Andreassen, S., 1991, Proceedings of the International Symposium held on the Occasion of the European Association for the Study of Diabetes, EASD '91, September, Dublin, Ireland.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

  • A Profile for Safety Critical Java

    Schoeberl, M., Søndergaard, H., Thomsen, B. & Ravn, A. P., 2007, Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, p. 94-101 8 p.

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

    28 Citations (Scopus)
  • A Proposal for a Two-Way Journey on Validating Locations in Unstructured and Structured Data

    Keles, I., Qawasmeh, O., Tietz, T., Marinucci, L., Reda, R. & Van Erp, M., 2019, 2nd Conference on Language, Data and Knowledge (LDK 2019). Eskevich, M., de Melo, G., Fath, C., McCrae, J. P., Buitelaar, P., Chiarcos, C., Klimek, B. & Dojchinovski, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 13:1-13:8 8 p. 13. (Open Access Series in Informatics, Vol. 70).

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

    Open Access
    File
    50 Downloads (Pure)
  • A Python Library for Trace Analysis

    Dams, D., Havelund, K. & Kauffman, S., Sept 2022, International Conference on Runtime Verification. Dang, T. & Stolz, V. (eds.). Springer, Vol. 13498. p. 264-273 10 p. (Lecture Notes in Computer Science, Vol. 13498).

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

    1 Citation (Scopus)
  • A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic: Best Paper Award

    Larsen, K. G., Thrane, C. R. & Fahrenberg, U., 2009, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Schloss Dagstuhl. Leibniz-Zentrum für Informatik

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

  • A Ravenscar-Java profile implementation

    Thomsen, B., Ravn, A. P. & Søndergaard, H., 2006, ACM International Conference Proceeding Series: JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Vol. 177. p. 38-47 10 p.

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

    11 Citations (Scopus)
  • ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

    Johnson, T. T., Lopez, D. M., Benet, L., Forets, M., Guadalupe, S., Schilling, C., Ivanov, R., Carpenter, T. J., Weimer, J. & Lee, I., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 90-119 30 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    Open Access
    10 Citations (Scopus)
  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Ábrahám, E., Forets, M., Frehse, G., Freire, D., Schilling, C., Schupp, S. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 1-31 31 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    Open Access
    9 Citations (Scopus)
  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., 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.). EasyChair, p. 32-54 23 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

    Open Access
    8 Citations (Scopus)
  • ARCH-COMP22 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Benet, L., Chen, X., Fan, J., Forets, M., Huang, C., Johnson, T. T., Ladner, T., Li, W., Schilling, C. & Zhu, Q., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 142-184 43 p. (EPiC Series in Computing, Vol. 90).

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

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