Sciweavers

11168 search results - page 47 / 2234
» Abstract State Processes
Sort
View
126
Voted
FSEN
2007
Springer
15 years 10 months ago
Action Abstraction in Timed Process Algebra
Michel A. Reniers, Muck van Weerdenburg
116
Voted
QEST
2006
IEEE
15 years 10 months ago
Game-based Abstraction for Markov Decision Processes
Marta Z. Kwiatkowska, Gethin Norman, David Parker