|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 4 publication records. Showing 3 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap |
Controller Synthesis for Local and Global Specifications in Multi-Agent Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap |
Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control. |
CDC |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sadek Belamfedel Alaoui, Saharsh, Pushpak Jagtap, Adnane Saoud |
Compositional Approximately Bisimilar Abstractions of Interconnected Systems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|