CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project focuses on enhancing the reliability of probabilistic programming, which is crucial for applications in autonomous systems and artificial intelligence. It aims to develop formal verification techniques to ensure that probabilistic programs function correctly and predictably, addressing challenges in progra…
Probabilistic programs describe recipes on how to infer statistical conclusions about data from a complex mixture of uncertain data and real-world observations.
They can represent probabilistic graphical models far beyond the capabilities of Bayesian networks and are expected to have a major impact on machine intelligence.Probabilistic programs are ubiquitous.
They steer autonomous robots and self-driving cars, are key to describe security mechanisms, naturally code up randomised algorithms for…
RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
