( en | de | ru )

 

Disambiguierung von "Braberman, Víctor A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Directed Controller Synthesis of discrete event systems: Taming composition with heuristics.

, , , und . CDC, Seite 4764-4769. IEEE, (2016)

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

An architecture-centric approach to the development of a distributed model-checker for timed automata., , und . ICSE, Seite 710. ACM, (2002)A toolsuite for the verification of real-time systems in Eclipse., , , , , , , und . ETX, Seite 35-39. ACM, (2006)On-the-fly informed search of non-blocking directed controllers., , , , , , , und . Autom., (2023)On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus., , und . PDMC, Volume 128 von Electronic Notes in Theoretical Computer Science, Seite 3-18. Elsevier, (2004)Assured automatic dynamic reconfiguration of business processes., , , , und . Inf. Syst., (2022)Extending Timed Automata for Compositional Modeling Healthy Timed Systems., und . MTCS, Volume 52 von Electronic Notes in Theoretical Computer Science, Seite 227-245. Elsevier, (2001)2½-player generalized reactivity (1) games., , , und . CDC, Seite 6996-7001. IEEE, (2016)ZEUS: A Distributed Timed Model-Checker Based on KRONOS., , und . PDMC@CONCUR, Volume 68 von Electronic Notes in Theoretical Computer Science, Seite 503-522. Elsevier, (2002)Specification Patterns: Formal and Easy., und . International Journal of Software Engineering and Knowledge Engineering, 25 (4): 669-700 (2015)A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties., , und . IEEE Trans. Software Eng., 31 (12): 1028-1041 (2005)