Monografie
Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods
- Sprache
-
Englisch
- Identifier
-
1261799259
Beteiligte Personen und Organisationen
Gavran, Ivan
Majumdar, Rupak
Majumdar, Rupak
- DOI
-
10.26204/KLUEDO/6863
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
05.08.2022, 09:31 MESZ
Objekttyp
- Monografie
Beteiligte
- Gavran, Ivan
- Majumdar, Rupak
Ähnliche Objekte (12)
Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems
Towards Comprehensive Cluster-induced Methods for Recommender Systems
Convergence Rate Estimates for Degenerate Diffusions with Multiplicative Noise via (weak) Hypocoercivity Methods
Methods for scale and orientation invariant analysis of lower dimensional structures in 3d images
Integration Methods for Host Intrusion Detection into Embedded Mixed-Criticality Systems
Multi-omics and functional analysis reveal novel consequences of monosomy
Hybrid Continuous-Time Deep Neural Networks for Robot System Identification and Control
Towards PACE-CAD Systems : Pragmatic, Accurate, Confident & Explainable Computer-Aided Diagnosis
Adjoint-Based Shape Optimization and Optimal Control with Applications to Microchannel Systems
Business Model Innovation in New Ventures : An Actor Engagement and Role Perspective
Long-time behaviour of Langevin-type dynamics on Riemannian manifolds and scaling limits
In vitro investigations on the hepatotoxicity and genotoxicity of food-relevant pyrrolizidine alkaloids
Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems
Towards Comprehensive Cluster-induced Methods for Recommender Systems
Convergence Rate Estimates for Degenerate Diffusions with Multiplicative Noise via (weak) Hypocoercivity Methods
Methods for scale and orientation invariant analysis of lower dimensional structures in 3d images
Integration Methods for Host Intrusion Detection into Embedded Mixed-Criticality Systems
Multi-omics and functional analysis reveal novel consequences of monosomy
Hybrid Continuous-Time Deep Neural Networks for Robot System Identification and Control
Towards PACE-CAD Systems : Pragmatic, Accurate, Confident & Explainable Computer-Aided Diagnosis
Adjoint-Based Shape Optimization and Optimal Control with Applications to Microchannel Systems
Business Model Innovation in New Ventures : An Actor Engagement and Role Perspective
Long-time behaviour of Langevin-type dynamics on Riemannian manifolds and scaling limits
In vitro investigations on the hepatotoxicity and genotoxicity of food-relevant pyrrolizidine alkaloids
Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems
Towards Comprehensive Cluster-induced Methods for Recommender Systems
Convergence Rate Estimates for Degenerate Diffusions with Multiplicative Noise via (weak) Hypocoercivity Methods
Methods for scale and orientation invariant analysis of lower dimensional structures in 3d images
Integration Methods for Host Intrusion Detection into Embedded Mixed-Criticality Systems
Multi-omics and functional analysis reveal novel consequences of monosomy
Hybrid Continuous-Time Deep Neural Networks for Robot System Identification and Control
Towards PACE-CAD Systems : Pragmatic, Accurate, Confident & Explainable Computer-Aided Diagnosis
Adjoint-Based Shape Optimization and Optimal Control with Applications to Microchannel Systems
Business Model Innovation in New Ventures : An Actor Engagement and Role Perspective
Long-time behaviour of Langevin-type dynamics on Riemannian manifolds and scaling limits