Reynolds, Mark

5 publications

AAAI 2019 Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification Christopher Bartley, Wei Liu, Mark Reynolds

WACV 2019 Location-Velocity Attention for Pedestrian Trajectory Prediction Hao Xue, Du Huynh, Mark Reynolds

WACV 2018 SS-LSTM: A Hierarchical LSTM Model for Pedestrian Trajectory Prediction Hao Xue, Du Q. Huynh, Mark Reynolds

IJCAI 2016 Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds

AAAI 2007 A Modal Logic for Beliefs and Pro Attitudes Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds