5 ms·

Thanks for the links. My current application is not test generation for hardware, though. I'm working with autonomous robots that need to interact with real w

Thanks for the links. My current application is not test generation for hardware, though. I'm working with autonomous robots that need to interact with real world obstacles that can't be easily predicted (laundary carts, golden retrievers, bride's maids....), need to navigate spaces where WiFi comes and goes, and need to interact with other automated systems running their own state machine that I don't control. Something that could identify "Recovery scenario needed here" has good value.

nickpsecurity 9y ago
Apparently, I totally misread what you needed. Sorry. Your domain is very interesting. I briefly studied it a long time ago. They were using fusion of data coming from different components with quite non-deterministic algorithms such as fuzzy logic or neural networks. There wasn't any way to verify them at the time. I've seen a few attempts at such things but would need to know what kind of algorithm you use for sense, learn, and act (or whatever they call it). No guarantees here.