المؤلفون: Dang, Thao, Donzé, Alexandre, Haque, Inzemamul, Kekatos, Nikolaos, Saha, Indranil

مصطلحات موضوعية: Computer Science - Robotics, Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2403.16593

المؤلفون: Mohammadinejad, Sara, Deshmukh, Jyotirmoy V., Puranic, Aniruddh G., Vazquez-Chanlatte, Marcell, Donzé, Alexandre

مصطلحات موضوعية: Computer Science - Machine Learning, Statistics - Machine Learning

URL الوصول: http://arxiv.org/abs/1907.10265

المؤلفون: Barbot, Benoît, Basset, Nicolas, Donze, Alexandre

المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)

المصدر: HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control ; https://hal.science/hal-04127298 ; HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control, May 2023, San Antonio TX USA, United States. pp.1-7, ⟨10.1145/3575870.3587116⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: San Antonio TX USA, United States

Time: San Antonio TX USA, United States

الاتاحة: https://hal.science/hal-04127298
https://hal.science/hal-04127298v1/document
https://hal.science/hal-04127298v1/file/wordgen.pdf
https://doi.org/10.1145/3575870.3587116

المؤلفون: Dang, Thao, Donzé, Alexandre, Haque, Inzemamul, Kekatos, Nikolaos, Saha, Indranil

المساهمون: Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Decyphir SAS, Moirans, Indian Institute of Technology Kanpur (IIT Kanpur), Aristotle University of Thessaloniki

المصدر: 62nd IEEE Conference on Decision and Control (CDC 2023)
https://hal.science/hal-04295795
62nd IEEE Conference on Decision and Control (CDC 2023), Dec 2023, Singapore, Singapore

مصطلحات موضوعية: Cyber- Physical System, Control Learning, Control Theory, [INFO]Computer Science [cs]

جغرافية الموضوع: Singapore

الاتاحة: https://hal.science/hal-04295795
https://hal.science/hal-04295795v1/document
https://hal.science/hal-04295795v1/file/Counter_Example_Guided_Imitation_Learning_of_Feedback_Controllers_from_Temporal_Logic_Specifications.pdf

المؤلفون: Fremont, Daniel J., Donzé, Alexandre, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, F.4.3, G.3, F.2.2

URL الوصول: http://arxiv.org/abs/1704.06319

المؤلفون: Raman, Vasumathi, Donzé, Alexandre, Maasoumy, Mehdi, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Systems and Control, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, I.2.8, F.4.1

URL الوصول: http://arxiv.org/abs/1703.09563

المؤلفون: Dreossi, Tommaso, Donzé, Alexandre, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Systems and Control, Computer Science - Machine Learning, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1703.00978

المؤلفون: Ghosh, Shromona, Sadigh, Dorsa, Nuzzo, Pierluigi, Raman, Vasumathi, Donze, Alexandre, Sangiovanni-Vincentelli, Alberto, Sastry, S. Shankar, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Systems and Control, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1602.01883

المؤلفون: Akkaya, Ilge, Fremont, Daniel J., Valle, Rafael, Donzé, Alexandre, Lee, Edward A., Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Systems and Control

URL الوصول: http://arxiv.org/abs/1511.02279

المؤلفون: Deshmukh, Jyotirmoy V., Donzé, Alexandre, Ghosh, Shromona, Jin, Xiaoqing, Juniwal, Garvit, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Systems and Control

URL الوصول: http://arxiv.org/abs/1506.08234

المؤلفون: Fremont, Daniel J., Donzé, Alexandre, Seshia, Sanjit A., Wessel, David

المصدر: 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015), 463-474

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, F.4.3, G.3, F.2.2

URL الوصول: http://arxiv.org/abs/1411.0698

المؤلفون: Mobilia, Nicolas, Donzé, Alexandre, Moulis, Jean Marc, Fanchon, Éric

المصدر: EPTCS 125, 2013, pp. 92-98

مصطلحات موضوعية: Computer Science - Computational Engineering, Finance, and Science, Computer Science - Logic in Computer Science, Quantitative Biology - Molecular Networks

URL الوصول: http://arxiv.org/abs/1309.0872

المؤلفون: Mobilia, Nicolas, Donzé, Alexandre, Moulis, Jean Marc, Fanchon, Éric

المصدر: EPTCS 92, 2012, pp. 42-57

مصطلحات موضوعية: Computer Science - Computational Engineering, Finance, and Science, Quantitative Biology - Molecular Networks, Quantitative Biology - Quantitative Methods

URL الوصول: http://arxiv.org/abs/1208.3851

المؤلفون: Barbot, Benoît, Basset, Nicolas, Dang, Thao, Donzé, Alexandre, Kapinski, James, Yamaguchi, Tomoya

المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Centre National de la Recherche Scientifique (CNRS)

المصدر: NASA Formal Methods. NFM 2020 ; NASA Formal Methods ; https://hal.science/hal-03049273 ; NASA Formal Methods, May 2020, Moffett Field, United States. pp.420-439, ⟨10.1007/978-3-030-55754-6_25⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Moffett Field, United States

الاتاحة: https://hal.science/hal-03049273
https://hal.science/hal-03049273v1/document
https://hal.science/hal-03049273v1/file/NFM2020.pdf
https://doi.org/10.1007/978-3-030-55754-6_25

المؤلفون: Donzé, Alexandre

المساهمون: Alexandre Donzé

مصطلحات موضوعية: Cyber Physical Systems, Verification and Validation, Test, Model-Based Design, Formal Requirements, Falsification

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 79, 2nd International Workshop on Autonomous Systems Design (ASD 2020); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2020.5

الاتاحة: https://doi.org/10.4230/OASIcs.ASD.2020.5
https://nbn-resolving.org/urn:nbn:de:0030-drops-125995
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2020.5

المؤلفون: Ernst, Gidon, Arcaini, Paolo, Bennani, Ismail, Donzé, Alexandre, Fainekos, Georgios, Frehse, Goran, Mathesen, Logan, Menghi, Claudio, Pedrinelli, Giulia, Pouzet, Marc, Yaghoubi, Shakiba, Yamagata, Yoriyuki, Zhang, Zhenya

المصدر: EPiC Series in Computing (2020-09-25)

مصطلحات موضوعية: Continuous and Hybrid Systems, falsification, competition, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: info:eu-repo/grantAgreement/EC/H2020/694277; https://orbilu.uni.lu/handle/10993/45506; info:hdl:10993/45506

الاتاحة: https://orbilu.uni.lu/handle/10993/45506
https://orbilu.uni.lu/bitstream/10993/45506/1/ARCH-COMP_2020_Category_Report_Falsification.pdf
https://doi.org/10.29007/trr1

المؤلفون: Dreossi, Tommaso, Donzé, Alexandre, Seshia, Sanjit A

وصف الملف: application/pdf

Relation: qt5dm4j1d6; https://escholarship.org/uc/item/5dm4j1d6; https://escholarship.org/content/qt5dm4j1d6/qt5dm4j1d6.pdf

الاتاحة: https://escholarship.org/uc/item/5dm4j1d6
https://escholarship.org/content/qt5dm4j1d6/qt5dm4j1d6.pdf
https://doi.org/10.1007/s10817-018-09509-5

المؤلفون: Lidén Eddeland, Johan, Donzé, Alexandre, Åkesson, Knut

المساهمون: Swedish Governmental Agency for Innovation Systems (VINNOVA), Swedish Research Council (VR)

المصدر: 25th ACM International Conference on Hybrid Systems: Computation and Control

الاتاحة: http://dx.doi.org/10.1145/3501710.3519521
https://dl.acm.org/doi/pdf/10.1145/3501710.3519521

المؤلفون: Ramezani, Zahra, Donze, Alexandre, Fabian, Martin, Akesson, Knut

المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems; 2024, Vol. 43 Issue: 4 p1274-1287, 14p

المؤلفون: Ferrere, Thomas, Nickovic, Dejan, Donzé, Alexandre, Ito, Hisahiro, Kapinski, James

المصدر: Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal temporal logic. In: Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control . ACM; 2019:57-66. doi: 10.1145/3302504.3311800

مصطلحات موضوعية: ddc:000

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781450362825; info:eu-repo/semantics/altIdentifier/wos/000516713900007; info:eu-repo/grantAgreement/FWF//S 11407_N23; info:eu-repo/grantAgreement/FWF//Z211; https://research-explorer.ista.ac.at/record/6428; https://research-explorer.ista.ac.at/download/6428/8633

الاتاحة: https://research-explorer.ista.ac.at/record/6428
https://research-explorer.ista.ac.at/download/6428/8633