235 search results - page 17 / 47 » A Symbolic Symbolic State Space Representation |
180
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...
192
click to vote
QEST
2007
IEEE
16 years 10 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
196
click to vote
ICIAP
2009
ACM
16 years 6 months ago
2009
ACM
Multi-class binary symbol classification requires the use of rich descriptors and robust classifiers. Shape representation is a difficult task because of several symbol distortions...
167
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper considers the diagnosis of large discrete-event systems consisting of many components. The problem is to determine, online, all failures and states that explain a given...
269
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...