• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

ARCH-COMP18 Category Report: Stochastic Modelling.

Alessandro AbateHenk BlomNathalie CauchiSofie HaesaertArnd HartmannsKendra LesserMeeko OishiVignesh SivaramakrishnanSadegh SoudjaniCristian Ioan VasileAbraham P. Vinod
Published in: ARCH@ADHS (2018)
Keyphrases
  • stochastic model
  • information systems
  • database
  • neural network
  • real world
  • genetic algorithm
  • website
  • sufficient conditions
  • stochastic processes
  • stochastic programming
  • modelling language