METRIC TEMPORAL LOGIC
Experts
- Joël Ouaknine
- James Worrell
- Matteo Rossi
- Paritosh K. Pandya
- Khushraj Madnani
- Shankara Narayanan Krishna
- Zhe Xu
- Vladislav Ryzhikov
- Ufuk Topcu
- Michael Zakharyaschev
- Carlo A. Furia
- Guohui Xiao
- Andrea Masini
- Paul Hunter
- Pierluigi San Pietro
- Stefano Baratella
- Warren E. Dixon
- Elem Güzel Kalayci
- Bo Wu
- Marcello M. Bersani
- Hsi-Ming Ho
- Federico M. Zegers
- Sayan Saha
- Srdan Krstic
- Angelo Morzenti
- Sebastian Brandt
- Paola Spoletini
- Pengyi Shi
- Vince Kurtz
- Usman A. Fiaz
- Stefano Tonetta
- Carlo Ghezzi
- Guangyuan Li
- Ullrich Hustadt
- A. Agung Julius
- Luca Ferrucci
- Yichen Zhang
- Alberto Bombardelli
- Daniel de Leng
Venues
- CoRR
- TIME
- Math. Log. Q.
- CDC
- Log. Methods Comput. Sci.
- ACC
- KR
- RV
- Theor. Comput. Sci.
- FoSSaCS
- AAAI
- ACSD
- Acta Informatica
- ACM Trans. Comput. Log.
- LICS
- RP
- TACAS (2)
- IEEE Control. Syst. Lett.
- Int. J. Intell. Syst.
- NFM
- ACM Trans. Softw. Eng. Methodol.
- SEFM
- DALT
- CADE
- VMCAI (2)
- HSCC
- IJCAI
- ICPE (Companion)
- FTRTFT
- J. Autom. Reason.
- ECAI
- ICFEM
- LATA
- J. Artif. Intell. Res.
- SNPD
- ICAART (2)
- Inf. Comput.
- CIbSE
- IEEE Trans. Syst. Man Cybern. Syst.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend