COntext-free model checking for Recursive PrObabilistic pRogrAms

01.09.2023 - 31.08.2025
Forschungsförderungsprojekt

Personen

Projektleiter_in

Subprojektleiter_in

Institut

Förderungsmittel

  • European Commission (EU)

Forschungsschwerpunkte

  • Computational Science and Engineering
  • Information and Communication Technology