2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.FL2020★ 2 cited
Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach
Fujun Wang, Zining Cao, Lixing Tan +1
Probabilistic behavior is omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of various reasons, like uncertain environmen…
cs.AI2020
More on extension-based semantics of argumentation
Lixing Tan, Zhaohui Zhu, Jinjin Zhang
After a few decades of development, computational argumentation has become one of the active realms in AI. This paper considers extension-based concrete and abstract semantics of a…