METRIC TEMPORAL LOGIC
Experts
- Joël Ouaknine
- James Worrell
- Matteo Rossi
- Paritosh K. Pandya
- Zhe Xu
- Khushraj Madnani
- Shankara Narayanan Krishna
- Michael Zakharyaschev
- Vladislav Ryzhikov
- Ufuk Topcu
- Carlo A. Furia
- Bo Wu
- Guohui Xiao
- Warren E. Dixon
- Stefano Baratella
- Hsi-Ming Ho
- Marcello M. Bersani
- Elem Güzel Kalayci
- Pierluigi San Pietro
- Andrea Masini
- Paul Hunter
- Sayan Saha
- Angelo Morzenti
- Sebastian Brandt
- Federico M. Zegers
- Paola Spoletini
- Srdan Krstic
- Fredrik Heintz
- Kumar Manas
- Adrian Paschke
- Przemyslaw Andrzej Walega
- Kasra Yazdani
- David A. Basin
- Axel Legay
- Danny Bøgsted Poulsen
- Mark Reynolds
- Carlo Ghezzi
- Alwen Tiu
- Vince Kurtz
Venues
- CoRR
- TIME
- CDC
- Math. Log. Q.
- RV
- KR
- Log. Methods Comput. Sci.
- ACC
- ACM Trans. Comput. Log.
- LICS
- ACSD
- FoSSaCS
- AAAI
- TACAS (2)
- Acta Informatica
- Theor. Comput. Sci.
- RP
- CSL
- DATE
- HSCC
- CADE
- IEEE Access
- TACAS
- ATVA
- FTRTFT
- Ann. Math. Artif. Intell.
- Real Time Syst.
- ICLA
- MFCS
- A Journey from Process Algebra via Timed Automata to Model Learning
- IV
- ICCV Workshops
- VMCAI (2)
- J. Univers. Comput. Sci.
- DALT
- Allerton
- ICAART (2)
- IEEE Control. Syst. Lett.
- ACM Trans. Softw. Eng. Methodol.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend