Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems
From MaRDI portal
Publication:5154744
DOI10.1613/JAIR.1.12557OpenAlexW3195634984MaRDI QIDQ5154744
Publication date: 5 October 2021
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.1.12557
This page was built for publication: Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems