#formal-methods

3 topics

Computer Science

Programming Language SemanticsResearch

Engineering

Safety Verification and Validation for Autonomous SystemsResearch

Philosophy

Formal Epistemology: IntroductionCollege