Parameterized synthesis with safety properties

DOI10.1007/978-3-030-64437-6_14zbMath1476.68154arXiv2009.13459OpenAlexW3110551292MaRDI QIDQ2038085

Muhammad Najib, Daniel Neider, Chih-Duo Hong, Oliver Markgraf, Anthony Widjaja Lin

Publication date: 8 July 2021

Full work available at URL: https://arxiv.org/abs/2009.13459

zbMATH Keywords

machine learningreactive synthesisregular model checkingparameterized systemsAngluin's algorithm

Mathematics Subject Classification ID

Computational learning theory (68Q32) Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence for robotics (68T40)

Related Items

Learning union of integer hypercubes with queries (with applications to monadic decomposition)