Accéder directement au contenu

Ana Busic

3
Documents

Publications

jean-marc-vincent

PSI2 : Envelope Perfect Sampling of Non Monotone Systems

Ana Bušić , Bruno Gaujal , Gaël Gorgo , Jean-Marc Vincent
QEST 2010 - International Conference on Quantitative Evaluation of Systems, Sep 2010, Williamsburg, VA, United States. pp.83-84
Communication dans un congrès hal-00788884v1
Image document

Perfect Simulation and Non-monotone Markovian Systems

Ana Bušić , Bruno Gaujal , Jean-Marc Vincent
3rd International Conference Valuetools'08, 2008, Athens, Greece
Communication dans un congrès hal-00953624v1
Image document

Can we use perfect simulation for non-monotonic Markovian systems ?

Vandy Berten , Ana Bušić , Bruno Gaujal , Jean-Marc Vincent
ROADEF, 2008, Clermont-Ferrand
Communication dans un congrès hal-00953636v1