Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
19 Oct 2015
H. Hermanns visits our group
Holger Hermanns
(
)
, from Saarland University, visits our group after the
CAP kickoff meeting
.