CONTINUOUS TIME MARKOV PROCESS
Experts
- Sandra Zilles
- Matthew B. Dwyer
- Sumei Sun
- Mel Meau Shin Ho
- Chau Yuen
- Robert C. Holte
- Irena Koprinska
- Petr Jancar
- Rahul Purandare
- Jing Xiao
- Ãœlle Kotta
- Thomas C. Clevenger
- Ron Dabora
- Patrice Godefroid
- Xuerong Ji
- Young-Han Kim
- Andrea J. Goldsmith
- Gerard J. Holzmann
- Ofer Shayevitz
- Oron Sabag
- José Meseguer
- Anne-Kathrin Schmuck
- Timo Heister
- Yang Lin
- Rotem Oshman
- Mashud Rana
- Didier Pirottin
- Assaf Ben-Yishai
- Tobias Münker
- Jingxin Zhang
- David L. Dill
- Hanqing Lou
- Chris Melhuish
- Huy D. Vo
- Cishen Zhang
- Peter Sewell
- Detian Yang
- Nahum Shimkin
- Prodromos Daoutidis
Venues
- CoRR
- ICASSP
- IEEE Trans. Inf. Theory
- ACC
- ISIT
- IEEE Trans. Autom. Control.
- Theor. Comput. Sci.
- ISCAS
- IROS
- ECC
- IEEE Trans. Signal Process.
- CDC
- Inf. Control.
- SARA
- FSMNLP
- Autom.
- CDC/ECC
- FUSION
- Numer. Linear Algebra Appl.
- FSTTCS
- RV
- LREC
- IECON
- SOFSEM
- Formal Methods Syst. Des.
- Syst. Control. Lett.
- Appl. Math. Comput.
- CCE
- IEEE Trans. Biomed. Eng.
- Artif. Intell.
- FMCAD
- ICNSC
- IEEE Signal Process. Mag.
- ISGT
- Mach. Transl.
- FSKD
- Expert Syst. Appl.
- ACM Great Lakes Symposium on VLSI
- Ann. Pure Appl. Log.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend