- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7594
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Dynamic hierarchical reactive controller synthesis ; volume:27 ; number:2 ; day:4 ; month:5 ; year:2017 ; pages:261-299 ; date:6.2017
Discrete event dynamic systems ; 27, Heft 2 (4.5.2017), 261-299, 6.2017
- Klassifikation
-
Spiel
- Urheber
-
Schmuck, Anne-Kathrin
- Beteiligte Personen und Organisationen
-
Majumdar, Rupak
Leva, Adrian
SpringerLink (Online service)
- DOI
-
10.1007/s10626-017-0239-8
- URN
-
urn:nbn:de:1111-201705231099
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:24 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
- Schmuck, Anne-Kathrin
- Majumdar, Rupak
- Leva, Adrian
- SpringerLink (Online service)
Ähnliche Objekte (12)
Dynamic hierarchical factor models
Dynamic Hierarchical Graph Drawing
Reactive Vision-Based Navigation Controller for Autonomous Mobile Agents
Symbolic reactive synthesis
Stability region based robust controller synthesis
Symbolic controller synthesis for LTL specifications
Hierarchical Structures and Dynamic Incentives
Verification in the hierarchical development of reactive systems
Verification in the hierarchical development of reactive systems
Collaborative models for autonomous systems controller synthesis
Hierarchical Monte Carlo Image Synthesis
Reactive Oxygen Species Responsive Cleavable Hierarchical Metallic Supra‐Nanostructure
Dynamic hierarchical factor models
Dynamic Hierarchical Graph Drawing
Reactive Vision-Based Navigation Controller for Autonomous Mobile Agents
Symbolic reactive synthesis
Stability region based robust controller synthesis
Symbolic controller synthesis for LTL specifications
Hierarchical Structures and Dynamic Incentives
Verification in the hierarchical development of reactive systems
Verification in the hierarchical development of reactive systems
Collaborative models for autonomous systems controller synthesis
Hierarchical Monte Carlo Image Synthesis
Reactive Oxygen Species Responsive Cleavable Hierarchical Metallic Supra‐Nanostructure
Dynamic hierarchical factor models
Dynamic Hierarchical Graph Drawing
Reactive Vision-Based Navigation Controller for Autonomous Mobile Agents
Symbolic reactive synthesis
Stability region based robust controller synthesis
Symbolic controller synthesis for LTL specifications
Hierarchical Structures and Dynamic Incentives
Verification in the hierarchical development of reactive systems
Verification in the hierarchical development of reactive systems
Collaborative models for autonomous systems controller synthesis
Hierarchical Monte Carlo Image Synthesis