Skip to main navigation
Skip to search
Skip to main content
VTT's Research Information Portal Home
Home
Profiles
Research output
Projects
Datasets
Research units
Research Infrastructures
Activities
Prizes
Press/Media
Impacts
Search by expertise, name or affiliation
A stubborn attack on state explosion
Antti Valmari
VTT Technical Research Centre of Finland
Research output
:
Contribution to journal
›
Article
›
Scientific
›
peer-review
155
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A stubborn attack on state explosion'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
State Space
100%
Reduced State
100%
State Space Explosion
100%
Concurrent Systems
66%
Linear Temporal Logic
66%
Cutout
33%
State Space Generation
33%
Setting Method
33%
Logic Formulas
33%
Automatic Verification
33%
Number of States
33%
Temporal Operators
33%
Truth Value
33%
Stubborn Sets
33%
Amount of Work
33%
Temporal Logic Specification
33%
Engineering
Linear Time
100%
Set Method
100%
Logic Formula
100%
Cut Method
100%
INIS
space
100%
explosions
100%
values
25%
specifications
25%
verification
25%
Computer Science
Reduced State Space
100%
Concurrent System
66%
State Space
33%
linear time temporal logic
33%
Linear Temporal Logic
33%
Mathematics
Temporal Logic
100%
Truth Value
50%
Linear Time
50%