METRIC TEMPORAL LOGIC
Experts
- Joël Ouaknine
- James Worrell
- Matteo Rossi
- Paritosh K. Pandya
- Khushraj Madnani
- Zhe Xu
- Shankara Narayanan Krishna
- Michael Zakharyaschev
- Ufuk Topcu
- Vladislav Ryzhikov
- Carlo A. Furia
- Guohui Xiao
- Bo Wu
- Andrea Masini
- Pierluigi San Pietro
- Hsi-Ming Ho
- Elem Güzel Kalayci
- Stefano Baratella
- Marcello M. Bersani
- Paul Hunter
- Warren E. Dixon
- Sayan Saha
- Srdan Krstic
- Paola Spoletini
- Angelo Morzenti
- Federico M. Zegers
- Sebastian Brandt
- Carlo Ghezzi
- Xiaotian Liu
- Domenico Bianculli
- Axel Legay
- Dino Mandrioli
- Fredrik Heintz
- Andrzej Zbrzezny
- David A. Basin
- Matthew T. Hale
- Alberto Bombardelli
- A. Agung Julius
- Kumar Manas
Venues
- CoRR
- TIME
- CDC
- Math. Log. Q.
- KR
- RV
- ACC
- Log. Methods Comput. Sci.
- TACAS (2)
- FoSSaCS
- Acta Informatica
- LICS
- Theor. Comput. Sci.
- ACM Trans. Comput. Log.
- RP
- AAAI
- ACSD
- HSCC
- FORMATS
- CADE
- CIbSE
- Inf. Comput.
- SEFM
- AAAI Workshop: Planning for Hybrid Systems
- IEEE Trans. Syst. Man Cybern. Syst.
- ATVA
- IEEE Access
- Ann. Math. Artif. Intell.
- IJCAI
- PPDP
- NFM
- FTRTFT
- MFCS
- J. Univers. Comput. Sci.
- ICAART (2)
- CyPhy/WESE
- TACAS
- J. Autom. Reason.
- IEEE Robotics Autom. Lett.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend