UniSim can also simulate rare events, a feature that is particularly useful in robotics and self-driving car applications, where data collection can be costly and risky.
ScyllaDB announced today that it has raised $43 million in a Series C3 round of funding, bringing total funding to date for the open source database vendor up to $100 million.
Some researchers see formal specifications as a way for autonomous systems to "explain themselves" to humans. But a new study finds that we aren't understanding.