Intent-based System Design with Efficient Search Using Partial-Order Reduction.

Takuya Kuwahara, Takayuki Kuroda, Kozo Satoda

Browse the full NOMS paper archive.