Salar Moarref
发表
Salar Moarref,
Salar Moarref,
2016
.
Hadas Kress-Gazit,
Salar Moarref,
H. Kress-Gazit,
2018,
FORMATS.
Ufuk Topcu,
Rajeev Alur,
Salar Moarref,
2012
.
Hadas Kress-Gazit,
Salar Moarref,
Adam Pacheck,
2020,
2020 IEEE International Conference on Robotics and Automation (ICRA).
Hadas Kress-Gazit,
Salar Moarref,
H. Kress-Gazit,
2020,
Auton. Robots.
Hadas Kress-Gazit,
Ji Chen,
Salar Moarref,
2018,
AAMAS.
Ufuk Topcu,
Rüdiger Ehlers,
Salar Moarref,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Rajeev Alur,
Ashutosh Trivedi,
Vojtech Forejt,
2013,
HSCC '13.
Rajeev Alur,
Ashutosh Trivedi,
Vojtech Forejt,
2017,
ACM Trans. Embed. Comput. Syst..
Ufuk Topcu,
Rajeev Alur,
Salar Moarref,
2018,
Inf. Comput..
Ufuk Topcu,
Rajeev Alur,
Salar Moarref,
2016,
HSCC.
Ufuk Topcu,
Rüdiger Ehlers,
Salar Moarref,
2016,
ArXiv.
Ufuk Topcu,
Rajeev Alur,
Salar Moarref,
2015,
TACAS.
Rajeev Alur,
Zhihao Jiang,
Miroslav Pajic,
2012,
TACAS.
Hadas Kress-Gazit,
Salar Moarref,
H. Kress-Gazit,
2017,
2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS).
Ufuk Topcu,
Boon Thau Loo,
Andre Scedrov,
2013,
2013 21st IEEE International Conference on Network Protocols (ICNP).
Ufuk Topcu,
Salar Moarref,
Ruediger Ehlers,
2016
.
Ufuk Topcu,
Rajeev Alur,
Salar Moarref,
2016,
CAV.
Ufuk Topcu,
Rajeev Alur,
Salar Moarref,
2013,
2013 Formal Methods in Computer-Aided Design.