Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search.
Byeongjee KangKyungmin BaePublished in: FTSCS (2022)
Keyphrases
- distributed systems
- heuristic search
- reachability analysis
- state space
- markov decision processes
- model checking
- fault tolerant
- timed automata
- search algorithm
- distributed environment
- search space
- real time systems
- planning problems
- bidirectional search
- geographically distributed
- search problems
- heuristic search algorithms
- search strategies
- path finding
- incremental algorithms
- dynamic programming
- reinforcement learning
- distributed database systems
- mobile agents
- pattern databases
- optimal policy
- state space search
- beam search
- orders of magnitude
- automated planning
- partially observable
- temporal logic
- initial state
- heuristic function
- data management
- data structure
- artificial intelligence