Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling.
Felipe R. MonteiroPublished in: CoRR (2016)
Keyphrases
- state space
- fixed point
- dynamical systems
- reinforcement learning
- dynamic programming
- reinforcement learning algorithms
- markov chain
- heuristic search
- optimal policy
- bounded model checking
- planning problems
- floating point
- search space
- markov random field
- markov decision processes
- computer vision
- infinite horizon
- partially observable
- specification language