Distributed Controllers for Norm Enforcement
From MaRDI portal
Publication:4576207
DOI10.3233/978-1-61499-672-9-751zbMath1403.93146OpenAlexW2575573607MaRDI QIDQ4576207
Nils Bulling, Bas Testerink, Mehdi Dastani
Publication date: 12 July 2018
Full work available at URL: https://doi.org/10.3233/978-1-61499-672-9-751
Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: Distributed Controllers for Norm Enforcement