Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems.
Byeongjee KangKyungmin BaePublished in: Sci. Comput. Program. (2024)
Keyphrases
- heuristic search
- object oriented systems
- reachability analysis
- state space
- object oriented
- markov decision processes
- object oriented design
- software maintenance
- model checking
- source code
- software engineering
- search algorithm
- timed automata
- software systems
- planning problems
- incremental algorithms
- reinforcement learning
- search space
- dynamic programming
- path finding
- search problems
- high level
- orders of magnitude
- heuristic function
- state space search
- mutual exclusion
- optimal planning
- search strategies
- pattern databases
- automated planning
- machine learning
- bidirectional search
- initial state
- belief state
- project management