4 ms·

Would this apply to software that runs oil refinery plants, or video games or an fighter jet flight stabilization systems? Surely there is more to software tha

• aprdm 2mo ago
  Of course yes, and it's even easier in some cases. Since there's a language that defines the functionality (e.g: formal methods) that the agent can use/veriy against