( en | de | ru )

 

Disambiguierung von "Tabajara, Lucas M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.

, , , , und . IJCAI, Seite 1852-1858. ijcai.org, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Steffen Lucas

German Lucas

Rainer Lucas

Irmgard Lucas

Alfred Lucas

 

Weitere Publikationen von Autoren mit dem selben Namen

BDD-Based Boolean Functional Synthesis., , und . CAV (2), Volume 9780 von Lecture Notes in Computer Science, Seite 402-421. Springer, (2016)LTLf Synthesis under Partial Observability: From Theory to Practice., und . GandALF, Volume 326 von EPTCS, Seite 1-17. (2020)Linear Temporal Logic - From Infinite to Finite Horizon., und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 3-12. Springer, (2021)Factored boolean functional synthesis., und . FMCAD, Seite 124-131. IEEE, (2017)Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems., , , und . HCOMP, Seite 174-181. AAAI, (2013)Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis., , , , und . IJCAI, Seite 1852-1858. ijcai.org, (2021)A Symbolic Approach to Safety ltl Synthesis., , , , und . Haifa Verification Conference, Volume 10629 von Lecture Notes in Computer Science, Seite 147-162. Springer, (2017)Functional synthesis via input-output separation., , , und . Formal Methods Syst. Des., 60 (2): 228-258 (April 2022)On the Power of Automata Minimization in Temporal Synthesis., , , und . GandALF, Volume 346 von EPTCS, Seite 117-134. (2021)Symbolic LTLf Synthesis., , , , und . IJCAI, Seite 1362-1369. ijcai.org, (2017)