Ron Picard 5/10/21 Ron Picard 5/10/21 Autonomous aircraft 'brain' completes first flights Read More Ron Picard 3/29/21 Ron Picard 3/29/21 4th Solo Read More Ron Picard 11/8/20 Ron Picard 11/8/20 First Solo Read More Ron Picard 11/8/20 Ron Picard 11/8/20 Second Solo Read More Ron Picard 10/4/20 Ron Picard 10/4/20 Formal Methods 101: Set Theory Read More Ron Picard 11/3/19 Ron Picard 11/3/19 Formal Methods 101: Induction Read More Ron Picard 10/21/19 Ron Picard 10/21/19 Formal Methods 101: Formal Systems Read More Ron Picard 10/15/19 Ron Picard 10/15/19 Formal Methods 101: Decidability Read More Ron Picard 10/8/19 Ron Picard 10/8/19 Formal Methods 101: Complexity Theory Read More Ron Picard 10/5/19 Ron Picard 10/5/19 Formal Methods 101: Satisfiable Modulo Theories (SMT) Read More Ron Picard 10/5/19 Ron Picard 10/5/19 Formal Methods 101: Boolean Satisfiability (SAT) Read More Ron Picard 10/5/19 Ron Picard 10/5/19 Formal Methods 101: Second-Order (and Higher-Order) Logic Read More Ron Picard 10/4/19 Ron Picard 10/4/19 Formal Methods 101: First-Order Logic (FOL) Read More Ron Picard 10/4/19 Ron Picard 10/4/19 Formal Methods 101: Zero-Order (Propositional) Logic Read More Ron Picard 10/4/19 Ron Picard 10/4/19 Formal Methods 101: Binary Relations Read More Ron Picard 8/7/19 Ron Picard 8/7/19 Action Schema Neural Networks: Generalized Policies for Stochastic Planning Problems in the Wargaming Domain Read More Ron Picard 8/7/19 Ron Picard 8/7/19 Improvements to Feed-Forward Neural Networks Used to Classify Forest Type Covers Based on Cartographic Features Read More Ron Picard 5/3/19 Ron Picard 5/3/19 Particle Filter Speed Controller for a Closed-Loop Vehicle System Read More Ron Picard 5/3/19 Ron Picard 5/3/19 Analysis of N-Queens Stochastic Algorithms Using Probabilistic Model Checking Read More Ron Picard 5/3/19 Ron Picard 5/3/19 Model-Based Design of a Closed-Loop Speed Controller for a Hybrid System Read More Newer Posts Older Posts
Ron Picard 10/5/19 Ron Picard 10/5/19 Formal Methods 101: Satisfiable Modulo Theories (SMT) Read More
Ron Picard 10/5/19 Ron Picard 10/5/19 Formal Methods 101: Second-Order (and Higher-Order) Logic Read More
Ron Picard 8/7/19 Ron Picard 8/7/19 Action Schema Neural Networks: Generalized Policies for Stochastic Planning Problems in the Wargaming Domain Read More
Ron Picard 8/7/19 Ron Picard 8/7/19 Improvements to Feed-Forward Neural Networks Used to Classify Forest Type Covers Based on Cartographic Features Read More
Ron Picard 5/3/19 Ron Picard 5/3/19 Particle Filter Speed Controller for a Closed-Loop Vehicle System Read More
Ron Picard 5/3/19 Ron Picard 5/3/19 Analysis of N-Queens Stochastic Algorithms Using Probabilistic Model Checking Read More
Ron Picard 5/3/19 Ron Picard 5/3/19 Model-Based Design of a Closed-Loop Speed Controller for a Hybrid System Read More
