METRIC TEMPORAL LOGIC
Experts
- James Worrell
- Joël Ouaknine
- Matteo Rossi
- Shankara Narayanan Krishna
- Paritosh K. Pandya
- Khushraj Madnani
- Zhe Xu
- Vladislav Ryzhikov
- Michael Zakharyaschev
- Ufuk Topcu
- Carlo A. Furia
- Hsi-Ming Ho
- Elem Güzel Kalayci
- Pierluigi San Pietro
- Bo Wu
- Stefano Baratella
- Andrea Masini
- Warren E. Dixon
- Marcello M. Bersani
- Paul Hunter
- Guohui Xiao
- Sebastian Brandt
- Sayan Saha
- Paola Spoletini
- Angelo Morzenti
- Federico M. Zegers
- Srdan Krstic
- John S. Baras
- Yichen Zhang
- Clare Dixon
- Fredrik Heintz
- Przemyslaw Andrzej Walega
- Daniel de Leng
- Hendra Gunadi
- Alberto Bombardelli
- Alwen Tiu
- Ana Ozaki
- Andrzej Zbrzezny
- David A. Basin
Venues
- CoRR
- TIME
- CDC
- Math. Log. Q.
- KR
- RV
- Log. Methods Comput. Sci.
- ACC
- FoSSaCS
- RP
- Theor. Comput. Sci.
- AAAI
- Acta Informatica
- ACSD
- TACAS (2)
- LICS
- ACM Trans. Comput. Log.
- ACM Trans. Softw. Eng. Methodol.
- CSL
- Sensors
- IEEE Access
- FTRTFT
- Real Time Syst.
- ICRA
- IEEE Trans. Syst. Man Cybern. Syst.
- FORMATS
- CyPhy/WESE
- VMCAI (2)
- ICLA
- J. Autom. Reason.
- HSCC
- CIbSE
- AAAI Workshop: Planning for Hybrid Systems
- IV
- Ann. Math. Artif. Intell.
- TACAS
- ICFEM
- DATE
- LPAR
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend