TEMPORALLY EXTENDED GOALS
Experts
- Ufuk Topcu
- Dimos V. Dimarogonas
- Calin Belta
- Richard M. Murray
- Jorge A. Baier
- George J. Pappas
- Sheila A. McIlraith
- Yiannis Kantaros
- Jana Tumova
- Guido Sciavicco
- Jie Fu
- Hector Geffner
- Zhenhua Duan
- Alberto Camacho
- Lars Lindemann
- Javier Segovia Aguas
- Tichakorn Wongpiromsarn
- Angelo Montanari
- Anders Jonsson
- Sylvie Thiébaux
- Stefan Edelkamp
- Pietro Sala
- Froduald Kabanza
- Noushin Mehdipour
- Sergio Jiménez Celorrio
- Jussi Rintanen
- Daniela Rus
- Orna Grumberg
- Fahiem Bacchus
- Cristian-Ioan Vasile
- Moshe Y. Vardi
- Giuseppe De Giacomo
- Jason M. O'Kane
- Cong Tian
- Subbarao Kambhampati
- Paolo Traverso
- Davide Bresolin
- Vasumathi Raman
- Patrik Haslum
Venues
- CoRR
- IJCAI
- IROS
- ICRA
- AAAI
- ICAPS
- ACC
- Artif. Intell.
- CDC
- Theor. Comput. Sci.
- SOCS
- CAV
- Int. J. Robotics Res.
- ECAI
- HSCC
- J. Log. Comput.
- IEEE Trans. Autom. Control.
- IEEE Robotics Autom. Lett.
- Electron. Notes Theor. Comput. Sci.
- ICTAI
- TIME
- J. Artif. Intell. Res.
- J. Log. Lang. Inf.
- ECP
- TACAS
- Ann. Math. Artif. Intell.
- IEEE Control. Syst. Lett.
- IEEE Trans. Robotics
- Robotics Auton. Syst.
- AAMAS
- Int. J. Artif. Intell. Tools
- CASE
- CONCUR
- J. Syst. Softw.
- ICTCS
- MEMOCODE
- Formal Systems Specification
- VMCAI
- J. ACM
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend