arXiv 2003-04-01 EN TCTL Inevitability Analysis of Dense-time Systems Wang, Farn · Hwang, Geng-Dian · Yu, Fang
arXiv 2003-03-25 EN Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems Wang, Farn · Hwang, Geng-Dian · Yu, Fang
arXiv 2002-07-03 EN Evolutionary Circuit Design: Information Theory Perspective on Signal Propagation Popel, Denis V. · Al-Hakeem, Nawar
