Login / Signup

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper).

Nils LommenÉléanore MeyerJürgen Giesl
Published in: IJCAR (1) (2024)
Keyphrases
  • control flow
  • complexity analysis
  • data flow
  • machine learning
  • theoretical analysis
  • databases
  • real world
  • decision making
  • bayesian networks
  • cooperative
  • process model