TY - GEN
AU - Ivanova, Elena
AU - université Paris-Saclay
AU - Girard, Antoine
TI - Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms ; Synthèse efficace des contrôleurs de sécurité à l'aide de modèles symboliques et d'algorithmes paresseux
KW - Controller synthesis
KW - Formal methods
KW - Symbolic models
KW - Modèles symboliques
KW - Synthèse de contrôleur
KW - Méthodes formelles
PY - 2021-11-15
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation