( en | de | ru )

 

Disambiguierung von "Braberman, Víctor A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Modal Transition System Control Problem.

, , , und . FM, Volume 7436 von Lecture Notes in Computer Science, Seite 155-170. Springer, (2012)

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.

Víctor Farías

Víctor Castaño

Víctor Jiménez

Víctor Uc-Cetina

Reinforcement learning in continuous state and action spaces. HU Berlin, (2009)

Víctor Olmos León

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Verification of Real-Time Designs.. ICSE, Seite 716-717. ACM, (1999)Dynamic Reconfiguration of Business Processes., , , , und . BPM, Volume 11675 von Lecture Notes in Computer Science, Seite 35-51. Springer, (2019)Minimising Makespan of Discrete Controllers: A Qualitative Approach., , , , und . CDC, Seite 1068-1075. IEEE, (2019)Verification of Programs with Common Fragments., , , und . SIGSOFT FSE Companion, Seite 487-491. ACM, (2024)ObsSlice: A Timed Automata Slicer Based on Observers., , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 470-474. Springer, (2004)Specification patterns can be formal and still easy., und . SEKE, Seite 430-436. Knowledge Systems Institute Graduate School, (2010)Synthesis of Run-To-Completion Controllers for Discrete Event Systems., , , , und . ACC, Seite 4892-4899. IEEE, (2021)Hypervolume Approximation in Timed Automata Model Checking., , , und . FORMATS, Volume 4763 von Lecture Notes in Computer Science, Seite 69-81. Springer, (2007)Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification., und . ESEC / SIGSOFT FSE, Volume 1687 von Lecture Notes in Computer Science, Seite 494-510. Springer, (1999)Simulator-based diff-time performance testing., , , und . ICSE (NIER), Seite 81-84. IEEE / ACM, (2019)