2 items across the graph — tagged with Specification.
Dynamic detection of likely invariants
The specification, reference runtimes, validator, LLM bridge, and conformance suite for URML — an open language for robot intent.
