- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource, 1 online resource.
- Sprache
-
Englisch
- Erschienen in
-
Specifiable robustness in reactive synthesis ; volume:60 ; number:2 ; day:23 ; month:3 ; year:2023 ; pages:259-276 ; date:4.2022
Formal methods in system design ; 60, Heft 2 (23.3.2023), 259-276, 4.2022
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-023-00418-x
- URN
-
urn:nbn:de:101:1-2023082810241089338563
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:52 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bloem, Roderick
- Chockler, Hana
- Ebrahimi, Masoud
- Strichman, Ofer
- SpringerLink (Online service)
Ähnliche Objekte (12)
Symbolic reactive synthesis
Synthesis and robustness in empirical research
Predictive-reactive scheduling to increase robustness of production systems
Reactive fluoropolymers synthesis and application
Synthesis of reactive distillation processes
Specification decomposition for reactive synthesis
Compositional synthesis of reactive systems
Reactive fluoropolymers : synthesis and application
Synthesis of reactive polyether copolymers
Dynamic hierarchical reactive controller synthesis
Robustness analysis and synthesis of model based robot control
Contribution to the synthesis of reactive distillation processes
Symbolic reactive synthesis
Synthesis and robustness in empirical research
Predictive-reactive scheduling to increase robustness of production systems
Reactive fluoropolymers synthesis and application
Synthesis of reactive distillation processes
Specification decomposition for reactive synthesis
Compositional synthesis of reactive systems
Reactive fluoropolymers : synthesis and application
Synthesis of reactive polyether copolymers
Dynamic hierarchical reactive controller synthesis
Robustness analysis and synthesis of model based robot control
Contribution to the synthesis of reactive distillation processes
Symbolic reactive synthesis
Synthesis and robustness in empirical research
Predictive-reactive scheduling to increase robustness of production systems
Reactive fluoropolymers synthesis and application
Synthesis of reactive distillation processes
Specification decomposition for reactive synthesis
Compositional synthesis of reactive systems
Reactive fluoropolymers : synthesis and application
Synthesis of reactive polyether copolymers
Dynamic hierarchical reactive controller synthesis
Robustness analysis and synthesis of model based robot control