From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling, и S. Schupp. ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 14-40. EasyChair, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sivahari Prasad Gorantla

Iwan Goranow

Hartmut Frehse

Helmut Frehse

Dietrich Frehse

Другие публикации лиц с тем же именем

Symbolic Analysis of Linear Hybrid Automata - 25 Years Later.G. Frehse, M. Giacobbe, и E. Zaffanella. Principles of Systems Design, том 13660 из Lecture Notes in Computer Science, стр. 39-60. Springer, (2022)Monitoring Dynamical Signals While Testing Timed Aspects of a System.G. Frehse, K. Larsen, M. Mikucionis, и B. Nielsen. ICTSS, том 7019 из Lecture Notes in Computer Science, стр. 115-130. Springer, (2011)Current Challenges in the Verification of Hybrid Systems.S. Schupp, E. Ábrahám, X. Chen, I. Makhlouf, G. Frehse, S. Sankaranarayanan, и S. Kowalewski. CyPhy, том 9361 из Lecture Notes in Computer Science, стр. 8-24. Springer, (2015)Tools for the Analysis of Hybrid Models.T. Dang, G. Frehse, A. Girard, и C. Guernic. Communicating Embedded Systems, Wiley, (2013)CLIP-QDA: An Explainable Concept Bottleneck Model.R. Kazmierczak, E. Berthier, G. Frehse, и G. Franchi. Trans. Mach. Learn. Res., (2024)A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.G. Frehse, S. Jha, и B. Krogh. HSCC, том 4981 из Lecture Notes in Computer Science, стр. 187-200. Springer, (2008)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.M. Althoff, E. Ábrahám, M. Forets, G. Frehse, D. Freire, C. Schilling, S. Schupp, и M. Wetzlinger. ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 1-31. EasyChair, (2021)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray и 3 other автор(ы). ARCH, том 74 из EPiC Series in Computing, стр. 16-48. EasyChair, (2020)SL2SX Translator: From Simulink to SpaceEx Models.S. Minopoli, и G. Frehse. HSCC, стр. 93-98. ACM, (2016)Lane change maneuver for autonomous vehicles (Benchmark Proposal).N. Kekatos, D. Heß, и G. Frehse. ARCH@ADHS, том 54 из EPiC Series in Computing, стр. 229-241. EasyChair, (2018)

BibSonomy

Disambiguation