PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bakera, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Game-Based Model Checking for Reliable Autonomy in Space.

, , , and . JACIC, 8 (4): 100-114 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marco Ströbel University of Stuttgart

Univ. -Prof. Dr. -Ing. habil. Marco Huber University of Stuttgart

XAutoML: A Visual Analytics Tool for Understanding and Validating Automated Machine Learning, , , and . ACM transactions on interactive intelligent systems, 13 (4): 28; 1-39 (2023)

Marco Testa University of Stuttgart

Marco Maier University of Stuttgart

Dr. Marco Spurk University of Stuttgart

 

Other publications of authors with the same name

Component-Oriented Behavior Extraction for Autonomic System Design., , , , , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 66-75. (2009)Game-Based Model Checking for Reliable Autonomy in Space., , , and . JACIC, 8 (4): 100-114 (2011)Tool-supported enhancement of diagnosis in model-driven verification., , , and . ISSE, 5 (3): 211-228 (2009)Automatic Generation of the SWS- Challenge Mediator with jABC/ABC., , , , and . Semantic Web Services Challenge, volume 8 of Semantic Web And Beyond, Springer, (2009)Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process., , , and . ISoLA, volume RNTI-SM-1 of Revue des Nouvelles Technologies de l'Information, page 85-97. Cépaduès-Éditions, (2007)Test your Strategy: Graphical Construction of Strategies for Connect-Four., , and . ICECCS, page 172-181. IEEE Computer Society, (2009)Component-Oriented Behavior Extraction for Autonomic System Design using Games., , and . GI Jahrestagung, volume P-154 of LNI, page 3502-3506. GI, (2009)The SHADOWS Story on Implementation of Self-Healing Systems., and . ERCIM News, (2008)Solving µ-Calculus Parity Games by Symbolic Planning., , , and . MoChArt, volume 5348 of Lecture Notes in Computer Science, page 15-33. Springer, (2008)Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts., , , and . GI Jahrestagung, volume P-154 of LNI, page 3485-3493. GI, (2009)