ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Exploiting interleaving semantics in symbolic state-space generation
Formal Methods in System Design
◽
10.1007/s10703-006-0033-y
◽
2007
◽
Vol 31
(1)
◽
pp. 63-100
◽
Cited By ~ 18
Author(s):
Gianfranco Ciardo
◽
Gerald Lüttgen
◽
Andrew S. Miner
Keyword(s):
State Space
◽
Interleaving Semantics
◽
State Space Generation
Download Full-text
Related Documents
Cited By
References
State space generation for degradable multiprocessor systems
[1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium
◽
10.1109/ftcs.1991.146678
◽
2002
◽
Cited By ~ 8
Author(s):
B.E. Aupperle
◽
J.F. Meyer
Keyword(s):
State Space
◽
Multiprocessor Systems
◽
State Space Generation
Download Full-text
Reliability modeling of structured systems: exploring symmetry in state-space generation
Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems
◽
10.1109/prfts.1997.640129
◽
2002
◽
Cited By ~ 4
Author(s):
A.K. Somani
Keyword(s):
State Space
◽
Reliability Modeling
◽
Structured Systems
◽
State Space Generation
Download Full-text
Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation
Industrial Information Technology - Formal Methods in Manufacturing
◽
10.1201/b16529-17
◽
2014
◽
pp. 381-408
Author(s):
Gasper Mušič
◽
Liana Napalkova
◽
Miguel Piera
Keyword(s):
Performance Evaluation
◽
Petri Nets
◽
State Space
◽
Flexible Manufacturing
◽
Flexible Manufacturing Systems
◽
Manufacturing Systems
◽
Timed Petri Nets
◽
State Space Generation
Download Full-text
Parallel State Space Generation and Exploration on Shared-Memory Architectures
Lecture Notes in Computer Science - Computer Aided Systems Theory – EUROCAST 2005
◽
10.1007/11556985_37
◽
2005
◽
pp. 275-280
Author(s):
Milan Češka
◽
Bohuslav Křena
◽
Tomáš Vojnar
Keyword(s):
State Space
◽
Shared Memory
◽
State Space Generation
◽
Memory Architectures
◽
Shared Memory Architectures
Download Full-text
Distributed State Space Generation of Discrete-State Stochastic Models
INFORMS Journal on Computing
◽
10.1287/ijoc.10.1.82
◽
1998
◽
Vol 10
(1)
◽
pp. 82-93
◽
Cited By ~ 45
Author(s):
Gianfranco Ciardo
◽
Joshua Gluckman
◽
David Nicol
Keyword(s):
State Space
◽
Stochastic Models
◽
Discrete State
◽
State Space Generation
Download Full-text
Online state space generation by a growing self-organizing map and differential learning for reinforcement learning
Applied Soft Computing
◽
10.1016/j.asoc.2020.106723
◽
2020
◽
Vol 97
◽
pp. 106723
Author(s):
Akira Notsu
◽
Koji Yasuda
◽
Seiki Ubukata
◽
Katsuhiro Honda
Keyword(s):
Reinforcement Learning
◽
State Space
◽
Self Organizing Map
◽
Differential Learning
◽
State Space Generation
◽
Self Organizing
Download Full-text
Modeling and analysis of distributed state space generation for timed Petri nets
Proceedings. 34th Annual Simulation Symposium
◽
10.1109/simsym.2001.922120
◽
2002
◽
Author(s):
W.M. Zuberek
◽
I. Rada
Keyword(s):
Petri Nets
◽
State Space
◽
Timed Petri Nets
◽
Modeling And Analysis
◽
State Space Generation
Download Full-text
Reachable State Space Generation for Structured Models which Use Functional Transitions
2009 Sixth International Conference on the Quantitative Evaluation of Systems
◽
10.1109/qest.2009.29
◽
2009
◽
Cited By ~ 4
Author(s):
Afonso Sales
◽
Brigitte Plateau
Keyword(s):
State Space
◽
Reachable State
◽
State Space Generation
Download Full-text
State space generation for the HAVi leader election protocol
Science of Computer Programming
◽
10.1016/s0167-6423(01)00018-1
◽
2002
◽
Vol 43
(1)
◽
pp. 1-33
◽
Cited By ~ 2
Author(s):
Yaroslav S. Usenko
Keyword(s):
State Space
◽
Leader Election
◽
State Space Generation
Download Full-text
Efficient state space generation of GSPNs using decision diagrams
Proceedings International Conference on Dependable Systems and Networks
◽
10.1109/dsn.2002.1029009
◽
2003
◽
Cited By ~ 5
Author(s):
A.S. Miner
Keyword(s):
State Space
◽
Decision Diagrams
◽
State Space Generation
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close