METRIC TEMPORAL LOGIC
Experts
- Joël Ouaknine
- James Worrell
- Matteo Rossi
- Khushraj Madnani
- Paritosh K. Pandya
- Zhe Xu
- Shankara Narayanan Krishna
- Michael Zakharyaschev
- Vladislav Ryzhikov
- Ufuk Topcu
- Carlo A. Furia
- Hsi-Ming Ho
- Pierluigi San Pietro
- Elem Güzel Kalayci
- Guohui Xiao
- Paul Hunter
- Stefano Baratella
- Andrea Masini
- Bo Wu
- Warren E. Dixon
- Marcello M. Bersani
- Sebastian Brandt
- Paola Spoletini
- Federico M. Zegers
- Srdan Krstic
- Angelo Morzenti
- Sayan Saha
- Dmitriy Traytel
- Guangyuan Li
- Stefano Tonetta
- Xiaotian Liu
- Ana Ozaki
- Jozef Hooman
- Hai Lin
- John S. Baras
- Axel Legay
- Alberto Bombardelli
- Mark Reynolds
- Domenico Bianculli
Venues
- CoRR
- TIME
- CDC
- Math. Log. Q.
- Log. Methods Comput. Sci.
- KR
- ACC
- RV
- RP
- ACSD
- TACAS (2)
- Acta Informatica
- LICS
- ACM Trans. Comput. Log.
- AAAI
- FoSSaCS
- Theor. Comput. Sci.
- DALT
- NFM
- FM
- MFCS
- Sensors
- ICAART (2)
- A Journey from Process Algebra via Timed Automata to Model Learning
- J. Univers. Comput. Sci.
- HSCC
- ICCV Workshops
- PPDP
- SEFM
- FORMATS
- ECAI
- AAAI Workshop: Planning for Hybrid Systems
- IEEE Control. Syst. Lett.
- LPAR
- ICRA
- FTRTFT
- TACAS
- IJCAI
- IEEE Robotics Autom. Lett.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend