Formal synthesis
Related papers: 1
Top Researchers
Top Cited Papers
Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination
Jin Dai, Alessandro Benini, Hai Lin, Panos J. Antsaklis, Matthew J. Rutherford, Kimon P. Valavanis
Citations: 10 • 2016