CONTINUOUS TIME MARKOV PROCESS
Experts
- Sandra Zilles
- Sumei Sun
- Matthew B. Dwyer
- Chau Yuen
- Mel Meau Shin Ho
- Robert C. Holte
- Patrice Godefroid
- Didier Pirottin
- Anne-Kathrin Schmuck
- Oron Sabag
- Jing Xiao
- Rotem Oshman
- Mashud Rana
- Young-Han Kim
- Irena Koprinska
- Yang Lin
- Timo Heister
- Xuerong Ji
- Petr Jancar
- Ülle Kotta
- Assaf Ben-Yishai
- Thomas C. Clevenger
- Ofer Shayevitz
- Andrea J. Goldsmith
- Rahul Purandare
- Gerard J. Holzmann
- Ron Dabora
- José Meseguer
- Fan-Ren Chang
- Holger Boche
- Faranak Nejati
- Nikhil Chopra
- Hugo Terashima-Marín
- José Carlos Pedro
- Sebastian Steinhorst
- Ron van der Meyden
- Vidhya Tekken Valapil
- Ghada AlNemer
- Jørn Justesen
Venues
- CoRR
- ICASSP
- ISIT
- IEEE Trans. Autom. Control.
- Theor. Comput. Sci.
- IEEE Trans. Inf. Theory
- ACC
- Inf. Control.
- ISCAS
- IROS
- ECC
- IEEE Trans. Signal Process.
- CDC
- FSMNLP
- CDC/ECC
- RV
- LREC
- Formal Methods Syst. Des.
- SARA
- Numer. Linear Algebra Appl.
- SOFSEM
- Autom.
- Syst. Control. Lett.
- FSTTCS
- IECON
- FUSION
- MIXDES
- SpringSim
- ICSE
- Comput. Chem. Eng.
- Evolutionary Computing, AISB Workshop
- NLPCC
- Signal Process.
- Quantum Inf. Process.
- Inf. Sci.
- Symposium on Programming
- Int. J. Softw. Tools Technol. Transf.
- Artif. Intell.
- J. Artif. Intell. Res.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend