Search Sciweavers | Sciweavers

293 search results - page 10 / 59

» Advances in Probabilistic Model Checking

117

click to vote

QEST
2007
IEEE

123views Modeling and Simulation» more QEST 2007»

Model checking the probabilistic pi-calculus

15 years 9 months ago

Download qav.comlab.ox.ac.uk

Gethin Norman, Catuscia Palamidessi, David Parker,...

claim paper

Read More »

194

Voted

ICRA
2010
IEEE

194views Robotics» more ICRA 2010»

Continuous collision detection for non-rigid contact computations using local advancement

15 years 2 months ago

Download graphics.ewha.ac.kr

Abstract— We present a novel algorithm to perform continuous collision detection(CCD) between non-rigid, deformable models using local advancement. Given the initial and ﬁnal c...

Min Tang, Young J. Kim, Dinesh Manocha

claim paper

Read More »

102

click to vote

DDECS
2008
IEEE

111views Hardware» more DDECS 2008»

Probabilistic Model Checking and Reliability of Results

15 years 10 months ago

Download ira.informatik.uni-freiburg.de

Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Be...

claim paper

Read More »

112

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

15 years 9 months ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

Voted

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers