المؤلفون: Schön, Oliver, Naseer, Shammakh, Wooding, Ben, Soudjani, Sadegh

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning, Electrical Engineering and Systems Science - Systems and Control

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

المؤلفون: Schön, Oliver, Zhong, Zhengang, Soudjani, Sadegh

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

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

المؤلفون: Schön, Oliver, van Huijgevoort, Birgit, Haesaert, Sofie, Soudjani, Sadegh

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

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

المؤلفون: Schön, Oliver, van Huijgevoort, Birgit, Haesaert, Sofie, Soudjani, Sadegh

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

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

المؤلفون: van Huijgevoort, Birgit, Schön, Oliver, Soudjani, Sadegh, Haesaert, Sofie

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

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

المؤلفون: Schön, Oliver, van Huijgevoort, Birgit, Haesaert, Sofie, Soudjani, Sadegh

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

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

المؤلفون: Schön, Oliver, Götte, Ricarda-Samantha, Timmermann, Julia

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

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

المؤلفون: Schön, Oliver, Doneva, Daniela D.

المصدر: Physical Review D (Vol. 105, No. 6, 2022)

مصطلحات موضوعية: General Relativity and Quantum Cosmology

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

المؤلفون: Schön, Oliver, Van Huijgevoort, Birgit, Haesaert, Sofie, Sadegh Soudjani

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Electrical engineering, electronic engineering, information engineering, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Logic in Computer Science (cs.LO)

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

المؤلفون: Abate, Alessandro, Blom, Henk, Delicaris, Joanna, Haesaert, Sofie, Hartmanns, Arnd, van Huijgevoort, Birgit, Lavaei, Abolfazl, Ma, Hao, Niehage, Mathis, Remke, Anne, Schön, Oliver, Schupp, Stefan, Soudjani, Sadegh, Willemsen, Lisa, Frehse, Goran, Althoff, Matthias, Schoitsch, Erwin, Guiochet, Jeremie

المساهمون: Formal Methods and Tools, Digital Society Institute, Mathematics of Operations Research, Control Systems, EAISI Foundational, EAISI High Tech Systems, Autonomous Motion Control Lab, Cyber-Physical Systems Center Eindhoven, Formal methods for control of cyber-physical systems, Spatial-Temporal Systems for Control

المصدر: Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
EPiC Series in Computing, 90, 113-141. EasyChair

مصطلحات موضوعية: Control synthesis, Markov chains, formal verification, stochastic models, Markov decision processes

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d710b4feaa801478e20d15ab407e22aa
https://doi.org/10.29007/lsvc