Article

Stubborn sets for reduced state space generation

Author:

Antti ValmariAuthors Info & Claims

Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990

Pages 491 - 515

Published: 01 June 1991 Publication History

Abstract

No abstract available.

Cited By

View all

Gnad DHoffmann JWehrle M(2019)Strong stubborn set pruning for star-topology decoupled state space searchJournal of Artificial Intelligence Research10.1613/jair.1.1157665:1(343-392)Online publication date: 1-May-2019
https://dl.acm.org/doi/10.1613/jair.1.11576
Keren SGal AKarpas E(2019)Goal recognition design in deterministic environmentsJournal of Artificial Intelligence Research10.1613/jair.1.1155165:1(209-269)Online publication date: 1-May-2019
https://dl.acm.org/doi/10.1613/jair.1.11551
Albert Ede la Banda MGómez-Zamalloa MIsabel MStuckey PZhang DMøller A(2019)Optimal context-sensitive dynamic partial order reduction with observersProceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3293882.3330565(352-362)Online publication date: 10-Jul-2019
https://dl.acm.org/doi/10.1145/3293882.3330565
Show More Cited By

Recommendations

Question-guided stubborn set methods for state properties

This paper presents two stubborn set methods for alleviating the state explosion problem when reasoning about state properties. The first method makes it possible to determine whether a state of the system is reachable in which a given state predicate ...
Stable Models for Stubborn Sets

The stubborn set method is one of the methods that try to relieve the state space explosion problem that occurs in state space generation. Spending some time in looking for “good” stubborn sets can pay off in the total time spent in generating a reduced ...
An efficient state space generation for analysis of real-time systems

State explosion is a well-known problem that impedes analysis and testing based on state-space exploration. This problem is particularly serious in real-time systems because unbounded time values cause the state space to be infinite. In this paper, we ...

Comments

Information & Contributors

Information

Published In

Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990

June 1991

515 pages

ISBN:3540538631

Editor:
Grzegorz Rozenberg

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 June 1991

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

48
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gnad DHoffmann JWehrle M(2019)Strong stubborn set pruning for star-topology decoupled state space searchJournal of Artificial Intelligence Research10.1613/jair.1.1157665:1(343-392)Online publication date: 1-May-2019
https://dl.acm.org/doi/10.1613/jair.1.11576
Keren SGal AKarpas E(2019)Goal recognition design in deterministic environmentsJournal of Artificial Intelligence Research10.1613/jair.1.1155165:1(209-269)Online publication date: 1-May-2019
https://dl.acm.org/doi/10.1613/jair.1.11551
Albert Ede la Banda MGómez-Zamalloa MIsabel MStuckey PZhang DMøller A(2019)Optimal context-sensitive dynamic partial order reduction with observersProceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3293882.3330565(352-362)Online publication date: 10-Jul-2019
https://dl.acm.org/doi/10.1145/3293882.3330565
Kokologiannakis MSagonas K(2019)Stateless model checking of the Linux kernel's read---copy update (RCU)International Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-019-00514-621:3(287-306)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10009-019-00514-6
Lüdtke SSchröder MKrüger FBader SKirste T(2018)State-space abstractions for probabilistic inferenceJournal of Artificial Intelligence Research10.1613/jair.1.1126163:1(789-848)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1613/jair.1.11261
Kähkönen KHeljanko K(2017)Testing Programs with Contextual UnfoldingsACM Transactions on Embedded Computing Systems10.1145/281000017:1(1-25)Online publication date: 22-Nov-2017
https://dl.acm.org/doi/10.1145/2810000
(2017)State space search nogood learningArtificial Intelligence10.1016/j.artint.2016.12.002245:C(1-37)Online publication date: 1-Apr-2017
https://dl.acm.org/doi/10.1016/j.artint.2016.12.002
Teodorov CDhaussy PRoux L(2017)Environment-driven reachability for timed systemsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-015-0401-219:2(229-245)Online publication date: 1-Apr-2017
https://dl.acm.org/doi/10.1007/s10009-015-0401-2
Abdulla PAronis SAtig MJonsson BLeonardsson CSagonas K(2017)Stateless model checking for TSO and PSOActa Informatica10.1007/s00236-016-0275-054:8(789-818)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1007/s00236-016-0275-0
Wehrle MSievers SHelmert M(2016)Graph-based factorization of classical planning problemsProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence10.5555/3061053.3061081(3286-3292)Online publication date: 9-Jul-2016
https://dl.acm.org/doi/10.5555/3061053.3061081
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

Question-guided stubborn set methods for state properties

Stable Models for Stubborn Sets

An efficient state space generation for analysis of real-time systems

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations