A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda ...
The CFG parser is a simple parser that uses a context-free grammar to parse a sentence. The parser uses a top-down approach to parse the sentence. I used the NLTK ChartParser module to implement this ...
Backward induction as a solution method for finite-horizon discrete-time dynamic optimization problems Method of undetermined coefficients can be used to solve the Bellman equation in infinite-horizon ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback