METRIC TEMPORAL LOGIC
Experts
- James Worrell
- Joël Ouaknine
- Matteo Rossi
- Paritosh K. Pandya
- Khushraj Madnani
- Zhe Xu
- Shankara Narayanan Krishna
- Michael Zakharyaschev
- Ufuk Topcu
- Vladislav Ryzhikov
- Carlo A. Furia
- Warren E. Dixon
- Guohui Xiao
- Bo Wu
- Elem Güzel Kalayci
- Marcello M. Bersani
- Hsi-Ming Ho
- Stefano Baratella
- Pierluigi San Pietro
- Paul Hunter
- Andrea Masini
- Angelo Morzenti
- Sayan Saha
- Sebastian Brandt
- Srdan Krstic
- Paola Spoletini
- Federico M. Zegers
- Kumar Manas
- Adrian Paschke
- Fredrik Heintz
- Alwen Tiu
- Carlo Ghezzi
- Mark Reynolds
- Danny Bøgsted Poulsen
- Axel Legay
- David A. Basin
- Kasra Yazdani
- Przemyslaw Andrzej Walega
- Andrzej Zbrzezny
Venues
- CoRR
- TIME
- Math. Log. Q.
- CDC
- ACC
- Log. Methods Comput. Sci.
- KR
- RV
- RP
- Theor. Comput. Sci.
- Acta Informatica
- AAAI
- TACAS (2)
- LICS
- FoSSaCS
- ACSD
- ACM Trans. Comput. Log.
- ICRA
- LPAR
- CSL
- ICFEM
- SNPD
- J. Artif. Intell. Res.
- SEFM
- CyPhy/WESE
- ICPE (Companion)
- IEEE Trans. Syst. Man Cybern. Syst.
- CIbSE
- AAAI Workshop: Planning for Hybrid Systems
- Int. J. Intell. Syst.
- Sensors
- FM
- NFM
- PPDP
- FORMATS
- IEEE Robotics Autom. Lett.
- LATA
- ECAI
- ACM Trans. Softw. Eng. Methodol.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend