Sciweavers

12050 search results - page 28 / 2410
» Modeling and Simulation
Sort
View
104
Voted
QEST
2010
IEEE
15 years 20 days ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner
114
Voted
SPRINGSIM
2010
15 years 20 days ago
UAV search strategies using Cell-DEVS
Keith Holman, Jeremy Kuzub, Gabriel A. Wainer