Rachid Rebiha

Available identifiers

zbMath Open rebiha.rachidMaRDI QIDQ903491

List of research outcomes

Publication	Date of Publication	Type
Transcendental inductive invariants generation for non-linear differential and hybrid systems	2017-05-16	Paper
Generating invariants for non-linear loops by linear algebraic methods	2016-01-06	Paper
Generating invariants for non-linear hybrid systems	2015-07-24	Paper
Generating invariants for non-linear hybrid systems by linear algebraic methods	2010-10-01	Paper
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems	2009-04-30	Paper
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation	2009-01-27	Paper

Research outcomes over time

This page was built for person: Rachid Rebiha