Jane Hillston

Jane Hillston

Professor of Quantitative Modelling, University of Edinburgh
在 ed.ac.uk 的电子邮件经过验证
被引用次数：8642
Computer Science Quantitative Verification Systems Biology
Benjamin Lucien Kaminski

Benjamin Lucien Kaminski

Professor of Computer Science at Saarland University and Lecturer at University College …
在 cs.uni-saarland.de 的电子邮件经过验证
被引用次数：1292
quantitative verification program logic probabilistic programming
Maximilian Weininger

Maximilian Weininger

Technical University of Munich
在 tum.de 的电子邮件经过验证
被引用次数：617
Quantitative verification probabilistic model checking logics in computer science formal methods
Mahsa Varshosaz

Mahsa Varshosaz

IT University of Copenhagen
在 itu.dk 的电子邮件经过验证
被引用次数：385
Software Testing Software Verification Product Lines Analysis Program Repair Quantitative Verification
Michaela Klauck

Michaela Klauck

Robert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics Campus
在 de.bosch.com 的电子邮件经过验证
被引用次数：374
Probabilistic Model Checking Probabilistic Planning Quantitative Verification Automated Planning
Pranav Ashok

Pranav Ashok

CARIAD SE
在 cariad.technology 的电子邮件经过验证
被引用次数：318
Quantitative Verification Neural Networks Uncertainty Quantification Autonomous Driving
Vahid Hashemi

Vahid Hashemi

AUDI AG
在 audi.de 的电子邮件经过验证
被引用次数：297
Neuro-Symbolic AI Explainable AI Quantitative Verification Optimal Control Autonomous Driving
Daniel STAN

Daniel STAN

EPITA LRE
在 epita.fr 的电子邮件经过验证
被引用次数：81
Parameterized Verification Game theory Quantitative verification Stochastic games
Kangli He

Kangli He

School of Computer Science and Software Engineering, East China Normal University
在 ecnu.cn 的电子邮件经过验证
被引用次数：32
IoT Quantitative verification Probabilistic model checking
Pierre EL MQIRMI

Pierre EL MQIRMI

Msc Advanced Computing, Imperial College London
在 imperial.ac.uk 的电子邮件经过验证
被引用次数：7
Computer Science Reinforcement Learning Quantitative Verification Machine Learning