Author of the publication

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.

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

Simulation-driven machine learning for robotics and automation, , , and . Technisches Messen, 86 (11): 673-684 (2019)
Simulation-driven machine learning for robotics and automation, , , and . Technisches Messen, 86 (11): 673-684 (2019)On the Development of a Surrogate Modelling Toolbox for Virtual Assembly, , and . Applied Sciences, 11 (3): 1181 (2021)Towards Measuring Bias in Image Classification, , , , and . Artificial Neural Networks and Machine Learning : ICANN 2021 : 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part III, volume 3 of Lecture Notes in Computer Science, page 433-445. Cham, Springer, (2021)

Marco Arndt University of Stuttgart

Investigating Practical Orthogonality Deviations in RSM for Optimized Predictive Reliability Modeling, and . Annual Reliability and Maintainability Symposium 2024 proceedings, page 1-6. Piscataway, NJ, IEEE, (2024)
 

Other publications of authors with the same name

Solving Temporal Problems Using SMT: Weak Controllability., , and . AAAI, AAAI Press, (2012)Specifying and Analyzing Early Requirements: Some Experimental Results., , , , and . RE, page 105-. IEEE Computer Society, (2003)Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach., , and . AAAI, page 3254-3260. AAAI Press, (2015)Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions., , , , and . ACM Trans. Comput. Log., 19 (3): 19:1-19:52 (2018)Conformant Planning via Symbolic Model Checking., and . J. Artif. Intell. Res., (2000)Software Model Checking with Explicit Scheduler and Symbolic Threads, , and . Logical Methods in Computer Science, (2012)Symbolic Implementation of Alternating Automata., , , and . Int. J. Found. Comput. Sci., 18 (4): 727-743 (2007)Kratos - A Software Model Checker for SystemC., , , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 310-316. Springer, (2011)Boolean Abstraction for Temporal Logic Satisfiability., , , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 532-546. Springer, (2007)The nuXmv Symbolic Model Checker., , , , , , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 334-342. Springer, (2014)