Birgit van Huijgevoort
- SySCoRe: Synthesis via Stochastic Coupling Relations
2023/02/23 by Birgit van Huijgevoort, van Huijgevoort, Birgit, Oliver Schön +5 · 4 citations
Computer Science · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- Correct-by-Design Control of Parametric Stochastic Systems
2022/10/15 by Oliver Schön, Schön, Oliver, Birgit van Huijgevoort +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Decision Sciences · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Logic in Computer Science (cs.LO) #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
- Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems
2023/09/03 by Oliver Schön, Birgit van Huijgevoort, Schön, Oliver +5 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Decision Sciences · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Logic in Computer Science (cs.LO) #Simulation Techniques and Applications #Symbolic Computation (cs.SC) #Systems and Control (eess.SY) #electronic engineering #information engineering