( en | de | ru )

 

Disambiguierung von "Kwon, Gihwon"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Solving Box-Pushing Games via Model Checking with Optimizations.

, und . ATVA, Volume 3299 von Lecture Notes in Computer Science, Seite 491-494. Springer, (2004)

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.

Hyogmyon Kwon

Jagun Kwon

Youngshin Kwon

Kwangsoo Kwon

Sanghee Kwon

 

Weitere Publikationen von Autoren mit dem selben Namen

Solving Box-Pushing Games via Model Checking with Optimizations., und . ATVA, Volume 3299 von Lecture Notes in Computer Science, Seite 491-494. Springer, (2004)Exploring Loss Scenarios of STPA with Reinforcement Learning: A Case Study of Platform Screen Door., , und . APSEC, Seite 647-648. IEEE, (2023)Failure Analysis in Safety Critical Systems Using Failure State Machine., , und . CSA/CUTE, Volume 474 von Lecture Notes in Electrical Engineering, Seite 540-545. Springer, (2017)Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning., , , , und . IEEE Access, (2024)Formalization of fFSM Model and Its Verification., , und . ICESS, Volume 3820 von Lecture Notes in Computer Science, Seite 361-372. Springer, (2005)Japanese Puzzle as a SAT Problem., und . SEKE, Seite 543-548. Knowledge Systems Institute Graduate School, (2008)OCL Evaluation on AUTOSAR Model., , , und . SEKE, Seite 645-648. Knowledge Systems Institute Graduate School, (2010)Applying Lightweight Formal Approach to Automatic Configuration Inspection., und . SEKE, Seite 107-110. Knowledge Systems Institute Graduate School, (2011)Formal Verification of UML 2.0 Sequence Diagram., , und . SEKE, Seite 411-416. Knowledge Systems Institute Graduate School, (2010)An Extended Hierarchical Safety Analysis for Software-Intensive System., und . CSA/CUTE, Volume 474 von Lecture Notes in Electrical Engineering, Seite 1250-1256. Springer, (2017)