Summary: This post discusses the (possible) rise of mostly-autonomous systems, i.e. systems which are normally autonomous, but still have “operators standing by” for the infrequent-but-crucial moments when they are needed. I’ll discuss this trend,  its implications and startup opportunities, and then turn to my favorite topic – the verification implications of all that. Jobs of … More The rise of mostly-autonomous systems