33 lines
1.2 KiB
Markdown
33 lines
1.2 KiB
Markdown
t<!The quick brown fox jumps over the lazy dog. The dog takes a nice nap. :)>
|
|
This is a general breakdown of how the conference went, what I learned, and
|
|
what my impressions were.
|
|
|
|
# Day One
|
|
## Keynote
|
|
Darren Cofer from Collins Aerospace gave a really good talk about AI and
|
|
how we can reason about it when it comes to high assurance systems. This is
|
|
the littlebird autonomous helicopter guy in Loonwerks. Buddy knows his shit.
|
|
Big takeaways were the following:
|
|
|
|
1. There's going to be demand for high assurance AI systems. We need software
|
|
that can generalize better than explicit rule based designs that we have now.
|
|
2. Approaches to high assurance AI straddle two ditches: one side being 'it's
|
|
just software' and 'it's impossible'. Neither are really true.
|
|
3. Bound behavior of probabilistic requirements seems like a good strategy
|
|
4. He started talking about AADL for run time assurance using assume
|
|
guarantee stuff
|
|
5. Idiocracy referenced
|
|
|
|
## Theorem Proving
|
|
1. What the fuck is a DAG?
|
|
- Turns out it's Directed Acyclic Graph
|
|
2. Some stuff from TLA+
|
|
3. Most of what I got is it was people building tools for problems in
|
|
software. No applications.
|
|
|
|
## Verification
|
|
1. Didn't really get anything from the first two.
|
|
2.
|
|
|
|
|