Method and apparatus with system verification based on reinforcement learning
Number of patents in Portfolio can not be more than 2000
United States of America
Stats
-
Dec 24, 2024
Grant Date -
Nov 19, 2020
app pub date -
Nov 25, 2019
filing date -
Nov 25, 2019
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
A system verification method includes generating a first verification vector as a result of a first action of an agent, the first verification vector referring to an observation corresponding to at least one state already covered, from among states of elements of a target system, identifying a first coverage corresponding to at least one state covered by the first verification vector, from among the states of the elements, updating the observation by reflecting the first coverage in the observation, and generating a second verification vector through a second action of the agent, the second verification vector referring to the updated observation.
First Claim
Family
International Classification(s)
- [Classification Symbol]
- [Patents Count]
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully