Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta

Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
  • PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python

    Ding, J., Wu, T., Liang, Z. & Xue, B., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (toim.). Springer, s. 140-157 18 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 14934 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
    Tiedosto
    44 Lataukset (Pure)
  • Enhancing Precision Agriculture Through Human-in-the-Loop Planning and Control

    Deka, S. A., Phodapol, S., Gimenez, A. M., Fernandez-Ayala, V. N., Wong, R., Yu, P., Tan, X. & Dimarogonas, D. V., 2024, 2024 IEEE 20th International Conference on Automation Science and Engineering, CASE 2024. IEEE, s. 78-83 6 Sivumäärä (IEEE International Conference on Automation Science and Engineering).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access
  • Extensions of the Path-integral formula for computation of Koopman eigenfunctions

    Deka, S. A. & Vaidya, U., 2024, 2024 IEEE 63rd Conference on Decision and Control, CDC 2024. IEEE, s. 2875-2881 7 Sivumäärä (Proceedings of the IEEE Conference on Decision and Control).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    Open access