المؤلفون: Abate, Alessandro, Edwards, Alec, Giacobbe, Mirco, Punchihewa, Hashan, Roy, Diptarko

المساهمون: Alessandro Abate and Alec Edwards and Mirco Giacobbe and Hashan Punchihewa and Diptarko Roy

مصطلحات موضوعية: Data-driven Verification, Quantitative Verification, Probabilistic Programs, Stochastic Dynamical Models, Counterexample-guided Inductive Synthesis, Neural Networks

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

Relation: Is Part Of LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.22

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2023.22
https://nbn-resolving.org/urn:nbn:de:0030-drops-190162
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.22

المؤلفون: Salamati, Ali, Lavaei, Abolfazl, Soudjani, Sadegh, Zamani, Majid

المساهمون: Jungers, Raphaël M., Ozay, Necmiye, Abate, Alessandro

المصدر: IFAC-PapersOnLine, 54 (5) ; 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021)

مصطلحات موضوعية: Safety verification, Barrier certificates, Data-driven verification, Stochastic systems, Robust convex problem, Scenario convex problem

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

Relation: info:eu-repo/semantics/altIdentifier/wos/000694623600003; http://hdl.handle.net/20.500.11850/516205

الاتاحة: https://hdl.handle.net/20.500.11850/516205
https://doi.org/10.3929/ethz-b-000516205

المؤلفون: Majid Zamani, Abolfazl Lavaei, Ali Salamati, Sadegh Soudjani

المساهمون: Jungers, Raphaël M., Ozay, Necmiye, Abate, Alessandro

المصدر: IFAC-PapersOnLine, 54 (5)
7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021)
ADHS

مصطلحات موضوعية: Mathematical optimization, Stochastic systems, Computer science, Safety verification, Systems and Control (eess.SY), Scenario convex problem, Electrical Engineering and Systems Science - Systems and Control, Data-driven, Set (abstract data type), Barrier certificates, Data-driven verification, Robust convex problem, Control and Systems Engineering, Convex optimization, FOS: Electrical engineering, electronic engineering, information engineering, A priori and a posteriori, Leverage (statistics), State (computer science), Finite time, Finite set

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::823856a9b98fda628412dd4542208e8d

المؤلفون: Mrowca, Artur, Nocker, Martin, Steinhorst, Sebastian, Guennemann, Stephan

مصطلحات موضوعية: info:eu-repo/classification/ddc, bayesian inference, data-driven verification, path merging, specification mining

Relation: https://mediatum.ub.tum.de/1536915; https://s-steinhorst.github.io/PDF/2019-DAC-Learning%20Temporal%20Specifications%20from%20Imperfect%20Traces%20using%20Bayesian%20Inference.pdf

الاتاحة: https://mediatum.ub.tum.de/1536915
https://doi.org/10.1145/3316781.3317847
https://s-steinhorst.github.io/PDF/2019-DAC-Learning%20Temporal%20Specifications%20from%20Imperfect%20Traces%20using%20Bayesian%20Inference.pdf

المؤلفون: Chen, Sanjian, Feng, Lu, Rickels, Michael R., Peleckis, Amy, Sokolsky, Oleg, Lee, Insup

المصدر: 791 ; Departmental Papers (CIS) ; The IEEE International Conference on Healthcare Informatics 2015 (ICHI 2015) ; true ; published

مصطلحات موضوعية: CPS Medical, type 1 diabetes, patient behavior, data-driven modeling and analysis, data-driven verification, blood glucose control, insulin pump, closed-loop verification, probabilistic model checking, physiological modeling, medical cyber-physical systems, Computer Engineering, Computer Sciences, Health Information Technology

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

Relation: https://repository.upenn.edu/handle/20.500.14332/6865

الاتاحة: https://repository.upenn.edu/handle/20.500.14332/6865
https://hdl.handle.net/20.500.14332/6865

المؤلفون: Alessandro Abate and Alec Edwards and Mirco Giacobbe and Hashan Punchihewa and Diptarko Roy, Abate, Alessandro, Edwards, Alec, Giacobbe, Mirco, Punchihewa, Hashan, Roy, Diptarko

مصطلحات الفهرس: Data-driven Verification, Quantitative Verification, Probabilistic Programs, Stochastic Dynamical Models, Counterexample-guided Inductive Synthesis, Neural Networks, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.22
Is Part Of LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023)