Name: Ben Hocking
Type: User
Company: Dependable Computing, LLC
Bio: Principal Scientist at Dependable Computing, where we work on formal methods, safety cases, and other safety- and security-critical applications.
Location: Charlottesville, Virginia
Blog: http://www.linkedin.com/in/benhocking1
Ben Hocking's Projects
Monospaced font with programming ligatures
Project to auto-create libraries adhering to the LMCP specification
Neural Network simulation tool initially designed for simulations of the mammalian hippocampus
Project for multi-UAV cooperative decision making
NASA PVS Library of Formal Developments
Genetic algorithms with focus on ability to combine multiple, expensive fitness functions with short circuiting capabilities. Keywords: Genetic algorithm, Optimization, Neural Network
The purpose of this repository is to provide advocation for unit lemmas and to catalog types of unit lemmas
Well-Clear Boundary Models for Integration of UAS in the NAS