Michaela Klauck

Navedeno

	Vse	Od leta 2020
Navedbe	497	469
indeks h	11	11
indeks i10	16	15

160

120

201820192020202120222023202420255 21 38 75 103 88 145 20

Javni dostop

Prikaži vse

21 člankov

2 članka

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Marcel SteinmetzLAAS-CNRSPreverjeni e-poštni naslov na laas.fr
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Preverjeni e-poštni naslov na cs.uni-saarland.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusPreverjeni e-poštni naslov na cs.uni-saarland.de
Timo P. GrosGerman Research Center for Artificial Intelligence (DFKI)Preverjeni e-poštni naslov na dfki.de
Arnd HartmannsUniversity of TwentePreverjeni e-poštni naslov na utwente.nl
David ParkerProfessor of Computer Science, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Tim QuatmannRWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
Enno RuijtersUniversiteit TwentePreverjeni e-poštni naslov na utwente.nl
Jan KřetínskýMasaryk University Brno; Technical University of MunichPreverjeni e-poštni naslov na fi.muni.cz
Maximilian A. KöhlSaarland University, Saarland Informatics CampusPreverjeni e-poštni naslov na cs.uni-saarland.de
Joachim KleinTU Dresden (formerly)Preverjeni e-poštni naslov na automata.tools
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusPreverjeni e-poštni naslov na dfki.de
Ernst Moritz HahnUniversity of TwentePreverjeni e-poštni naslov na utwente.nl
Stefan GumholdChair for Computer Graphics and Visualization, TU DresdenPreverjeni e-poštni naslov na tu-dresden.de
Christel BaierTU DresdenPreverjeni e-poštni naslov na tu-dresden.de
Andrea TurriniInstitute of Software, Chinese Academy of SciencesPreverjeni e-poštni naslov na ios.ac.cn
Carlos E. BuddeAssociate Professor @ Technical University of Denmark, DTU ComputePreverjeni e-poštni naslov na dtu.dk
Zhen ZhangAssistant Professor, Utah State UniversityPreverjeni e-poštni naslov na usu.edu
Daniel HöllerSaarland University, Saarland Informatics CampusPreverjeni e-poštni naslov na cs.uni-saarland.de
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusPreverjeni e-poštni naslov na mpi-inf.mpg.de

Spremljaj

Michaela Klauck

Robert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics Campus

Preverjeni e-poštni naslov na de.bosch.com - Domača stran

Probabilistic Model Checking Probabilistic Planning Quantitative Verification Automated Planning


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
The quantitative verification benchmark set A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters International Conference on Tools and Algorithms for the Construction and …, 2019	107	2019
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report) EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ... International Conference on Tools and Algorithms for the Construction and …, 2019	70	2019
On correctness, precision, and performance in quantitative verification: QComp 2020 competition report CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ... International symposium on leveraging applications of formal methods, 216-241, 2020	53	2020
Deep statistical model checking TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz Formal Techniques for Distributed Objects, Components, and Systems: 40th …, 2020	53	2020
Towards dynamic dependable systems through evidence-based continuous certification R Faqeh, C Fetzer, H Hermanns, J Hoffmann, M Klauck, MA Köhl, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2020	26	2020
Noticeable or distractive? A design space for gaze-contingent user interface notifications M Klauck, Y Sugano, A Bulling Proceedings of the 2017 CHI conference extended abstracts on human factors …, 2017	22	2017
Bridging the gap between probabilistic model checking and probabilistic planning: Survey, compilations, and empirical comparison M Klauck, M Steinmetz, J Hoffmann, H Hermanns Journal of Artificial Intelligence Research 68, 247-310, 2020	20	2020
TraceVis: towards visualization for deep statistical model checking TP Gros, D Groß, S Gumhold, J Hoffmann, M Klauck, M Steinmetz Leveraging Applications of Formal Methods, Verification and Validation …, 2021	17	2021
MoGym: Using Formal Models for Training and Verifying Decision-making Agents TP Gros, H Hermanns, J Hoffmann, M Klauck, MA Köhl, V Wolf International Conference on Computer Aided Verification, 430-443, 2022	13	2022
Lab conditions for research on explainable automated decisions C Baier, M Christakis, TP Gros, D Groß, S Gumhold, H Hermanns, ... Trustworthy AI-Integrating Learning, Optimization and Reasoning: First …, 2021	13	2021
Dsmc evaluation stages: Fostering robust and safe behavior in deep reinforcement learning TP Gros, D Höller, J Hoffmann, M Klauck, H Meerkamp, V Wolf Quantitative Evaluation of Systems: 18th International Conference, QEST 2021 …, 2021	12	2021
Analyzing neural network behavior through deep statistical model checking TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz International Journal on Software Tools for Technology Transfer 25 (3), 407-426, 2023	11	2023
Momba: JANI meets python MA Köhl, M Klauck, H Hermanns International Conference on Tools and Algorithms for the Construction and …, 2021	11	2021
Components in probabilistic systems: Suitable by construction C Baier, C Dubslaff, H Hermanns, M Klauck, S Klüppelholz, MA Köhl International Symposium on Leveraging Applications of Formal Methods, 240-261, 2020	11	2020
Let's learn their language? A case for planning with automata-network languages from model checking J Hoffmann, H Hermanns, M Klauck, M Steinmetz, E Karpas, D Magazzeni Proceedings of the AAAI Conference on Artificial Intelligence 34 (09), 13569 …, 2020	11	2020
Compiling probabilistic model checking into probabilistic planning M Klauck, M Steinmetz, J Hoffmann, H Hermanns Proceedings of the International Conference on Automated Planning and …, 2018	10	2018
Towards safe autonomous driving: model checking a behavior planner during development L König, C Heinzemann, A Griggio, M Klauck, A Cimatti, F Henze, ... International Conference on Tools and Algorithms for the Construction and …, 2024	6	2024
DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning–extended version TP Gros, J Gross, D Höller, J Hoffmann, M Klauck, H Meerkamp, NJ Müller, ... ACM Transactions on Modeling and Computer Simulation 33 (4), 1-28, 2023	6	2023
The modest state of learning, sampling, and verifying strategies A Hartmanns, M Klauck International Symposium on Leveraging Applications of Formal Methods, 406-432, 2022	6	2022
Models and Infrastructure used in Deep Statistical Model Checking (2020) TP Gros, H Hermanns, J Hoffmann, M Klauck, M Steinmetz	6

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji