ResearchWho?

배경민

Associate Professor

포항공과대학교 컴퓨터공학과

논문[35]

#35. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata

2022.11

(DOI) https://doi.org/10.1145/3563822.3569923

#34. An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs

2022.10

(DOI) https://doi.org/10.1007/978-3-031-19759-8_4

프로시딩[2]

#2. Efficient SMT-Based Model Checking for Signal Temporal Logic

2021.11.15:343-354

(DOI) https://doi.org/10.1109/ASE51524.2021.9678719

#1. Modular SMT-based analysis of nonlinear hybrid systems

2017.10.02:180-187

(DOI) https://doi.org/10.23919/FMCAD.2017.8102258