EasyChair Smart SlideDocs/Log in
Author: Bican Xia

This page shows all presentations of this author published in EasyChair Smart Slide.

Deciding First-Order Formulas Involving Univariate Mixed Trigonometric-Polynomials

Deciding First-Order Formulas Involving Univariate Mixed Trigonometric-Polynomials

Rizeng Chen and Bican Xia

Compositional Verification of Interacting Systems Using Event Monads

Compositional Verification of Interacting Systems Using Event Monads

Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Ye Hong and Bican Xia

Switching Controller Synthesis for Delay Hybrid Systems Under Perturbations

Switching Controller Synthesis for Delay Hybrid Systems Under Perturbations

Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue and Naijun Zhan

Monitoring CTMCs By Multi-Clock Timed Automata

Monitoring CTMCs By Multi-Clock Timed Automata

Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia and Naijun Zhan

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair