2022
, "Generalized dynamic cognitive hierarchy models for strategic driving behavior.", 2022 AAAI Conference on Artificial Intelligence, 2022.
, "I Know You Can’t See Me: Dynamic Occlusion-Aware Safety Validation of Strategic Planners for Autonomous Vehicles Using Hypergames.", International Conference on Robotics and Automation, 2022.
, "A Hierarchical Pedestrian Behavior Model to Generate Realistic Human Behavior in Traffic Simulation", IEEE Intelligent Vehicles Symposium (IV), Aachen, Germany, IEEE, pp. 533–541, 07/2022.
, "A Rule-Based Behaviour Planner for Autonomous Driving", 6th International Joint Conference on Rules and Reasoning (RuleML+RR), Berlin (virtual), Springer, 2022.
, "A Hierarchical Pedestrian Behaviour Model to Reproduce Realistic Human Behaviour in a Traffic Environment", Computer Science, vol. Master of Mathematics: University of Waterloo, 03/2022.
, "Empirical Game Theoretic Models for Autonomous Driving: Methods and Applications", Computer Science, vol. Doctor of Philosophy: University of Waterloo, 09/2022.
, "LiDAR-MIMO: Efficient Uncertainty Estimation for LiDAR-based 3D Object Detection", Electrical and Computer Engineering, vol. Master of Applied Science: University of Waterloo, 02/2022.
, "Out-of-Distribution Detection for LiDAR-based 3D Object Detection", Electrical and Computer Engineering, vol. Master of Applied Science: University of Waterloo, 01/2022.
, "Scenario Modeling and Execution for Simulation Testing of Automated-Driving Systems", Electrical and Computer Engineering, vol. Doctor of Philosophy: University of Waterloo, 09/2022.
, "XC: Exploring Quantitative Use Cases for Explanations in 3D Object Detection", Electrical and Computer Engineering, vol. Master of Applied Science: University of Waterloo, 01/2022.
, "Uniformly Constrained Reinforcement Learning", Submitted to Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS): Special Issue on Multi-Objective Decision Making (MODeM)---under review, 2022.
PDF (656.06 KB)
PDF (656.06 KB) 2021
, "A taxonomy of strategic human interactions in traffic conflicts", NeurIPS 2021 Cooperative AI Workshop, 2021.
, "Recursive Constraints to Prevent Instability in Constrained Reinforcement Learning", 1st Multi-Objective Decision Making Workshop (MODeM 2021), Online at http://modem2021.cs.nuigalway.ie/, 2021.
PDF (581.79 KB)
PDF (581.79 KB) , "Non-divergent Imitation for Verification of Complex Learned Controllers", 2021 International Joint Conference on Neural Networks (IJCNN), Shenzhen, China (virtual), IEEE, 2021.
, "Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning", 2021 International Joint Conference on Neural Networks (IJCNN), Shenzhen, China (virtual), IEEE, 2021.
, "Solution Concepts in Hierarchical Games Under Bounded Rationality With Applications to Autonomous Driving.", Proceedings of the AAAI Conference on Artificial Intelligence,, vol. 35, 2021.
, "Falsification of Hybrid Systems Using Adaptive Probabilistic Search", ACM Transactions on Modeling and Computer Simulation (TOMACS), vol. 31, issue 3, pp. 1--22, 2021.
, "Policy iterations for reinforcement learning problems in continuous time and space — Fundamental theory and methods", Automatica, vol. 126, pp. 109421, 15 pages, 04/2021.
, "Transfer Reinforcement Learning for Autonomous Driving: From WiseMove to WiseSim", ACM Transactions on Modeling and Computer Simulation, vol. 31, issue 3, pp. Article No. 15, pp 1~26, 07/2021.
, "Dynamic-Occlusion-Aware Risk Identification for Autonomous Vehicles Using Hypergames", Computer Science, vol. Master of Mathematics: University of Waterloo, 12/2021.
2020
, "Autonomous Vehicle Visual Signals for Pedestrians: Experiments and Design Recommendations", The 31st IEEE Intelligent Vehicles Symposium, 2020.
, "Improved Policy Extraction via Online Q-Value Distillation", The International Joint Conference on Neural Networks (IJCNN), Glasgow, IEEE, 2020.
, "Keep Calm and Ride Along: Passenger Comfort and Anxiety as Physiological Responses to Autonomous Driving Styles", 2020 CHI Conference on Human Factors in Computing Systems: ACM, 04/2020.
, "Predictive PER: Balancing Priority and Diversity towards Stable Deep Reinforcement Learning", Deep Reinforcement Learning Workshop, in 2020 NeurIPS, 2020.
, "PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML", AAAI Workshop on Artificial Intelligence Safety (SafeAI), New York, CEUR, 2020.
PDF (507.82 KB)
PDF (507.82 KB) , "Simple Continual Learning Strategies for Safer Classifers", Workshop on Artificial Intelligence Safety (SafeAI 2020): CEUR, 02/2020.
PDF (612.43 KB)
PDF (612.43 KB) , "An Efficient Statistical Model Checker for Nondeterminism and Rare Events", International Journal on Software Tools For Technology Transfer, vol. Special Issue TACAS 2018, 2020.
PDF (1.06 MB)
PDF (1.06 MB) , "Modes of Automated Driving System Scenario Testing: Experience Report and Recommendations", SAE Int. J. Adv. & Curr. Prac. in Mobility, vol. 2, issue 5: SAE, pp. 2248-2266, 04/2020.
, "Canadian Adverse Driving Conditions Dataset", Computer Vision and Pattern Recognition: arXiv, 01/2020.
, "Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning", Computer Science, vol. MMath, Waterloo, University of Waterloo, 01/2020.
, "An Application of Out-of-Distribution Detection for Two-Stage Object Detection Networks", Computer Science, vol. MMath, Waterloo, University of Waterloo, 02/2020.
, "Autonomous Vehicles with Visual Signals for Pedestrians: Experiments and Design Recommendations", Computer Science, vol. MMath, Waterloo, University of Waterloo, 01/2020.
, "Closing the Modelling Gap: Transfer Learning from a Low-Fidelity Simulator for Autonomous Driving", Computer Science, vol. MMath, Waterloo, University of Waterloo, 01/2020.
, "Expert System and a Rule Set Development Method for Urban Behaviour Planning", Computer Science, vol. Master of Mathematics: University of Waterloo, 05/2020.
, "Safety-Oriented Stability Biases for Continual Learning", Computer Science, vol. MMath, Waterloo, University of Waterloo, 01/2020.
, "Training Reject-Classifiers for Out-of-distribution Detection via Explicit Boundary Sample Generation", Computer Science, vol. MMath, Waterloo, University of Waterloo, 01.2020.
, "Transferring Pareto Frontiers across Heterogeneous Hardware Environments", Computer Science, vol. PhD, Waterloo, University of Waterloo, pp. 119, 09/2020.
, "WiseBench: A Motion Planning Benchmarking Framework for Autonomous Vehicles", Computer Science, vol. MMath, Waterloo, University of Waterloo, 10/2020.
2019
, "A Bayesian System for Noise-Robust Binaural Sound Localisation for Humanoid Robots", 2019 IEEE International Symposium on Robotic and Sensors Environments (ROSE): IEEE, 08/2019.
, "A behavior driven approach for sampling rare event situations for autonomous vehicles", 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2019.
, "Analysis of Confident-Classifiers for Out-of-Distribution Detection", Safe Machine Learning, ICLR 2019 Workshop, 05/2019.
, "Bayesian Uncertainty Quantification with Synthetic Data", WAISE 2019 : Second International Workshop on Artificial Intelligence Safety Engineering, Turku, Finland, SAFECOMP, 09/2019.
waise.pdf (5.37 MB)
waise.pdf (5.37 MB) , "GeoScenario: An Open DSL for Autonomous Driving Scenario Representation", IEEE Intelligent Vehicles Symposium (IV), Paris, IEEE, 2019.
iv2019_0501_fi.pdf (3.77 MB)
iv2019_0501_fi.pdf (3.77 MB) , "Learning a Lattice Planner Control Set for Autonomous Vehicles", IEEE Intelligent Vehicles Symposium (IV), Paris, France, 2019.
ieee_iv_llp_copy.pdf (1.89 MB)
ieee_iv_llp_copy.pdf (1.89 MB) , "Out-of-distribution Detection in Classifiers via Generation", Neural Information Processing Systems (NeurIPS 2019), Safety and Robustness in Decision Making Workshop: https://sites.google.com/view/neurips19-safe-robust-workshop, 12/2019.
, "ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks", Vision for All Seasons: Bad Weather and Nighttime (CVPR'19 Workshop), Long Beach, California, USA, IEEE, 06/2019.
procsy_cvpr (986.4 KB)
procsy_cvpr (986.4 KB) , "Rethinking Expected Cumulative Reward Formalism of Reinforcement Learning: A Micro-Objective Perspective", Multidisciplinary Conference on Reinforcement Learning and Decision Making (RLDM), Montreal, 2019.
, "Urban Driving with Multi-Objective Deep Reinforcement Learning", International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Montreal, IFAAMAS, 2019.
, "Accelerated Learning of Predictive Runtime Monitors for Rare Failure", 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, Springer, 2019.
, "Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input", 16th International Conference on Quantitative Evaluation of Systems (QEST 2019), Glasgow, Scotland, Springer, 2019.
, "Teaching Stratego to Play Ball: Optimizing Continuous Space MDPs", 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Taipei, Taiwan, Springer, 2019.
, "WiseMove: A Framework to Investigate Safe Reinforcement Learning for Autonomous Driving", 16th International Conference on Quantitative Evaluation of Systems (QEST 2019), Glasgow, Scotland, Springer, 2019.
, Design Space of Behaviour Planning for Autonomous Driving, Waterloo, University of Waterloo, 08.2019.
, "3D Online Multi-Object Tracking for Autonomous Driving", Computer Science, vol. MMath, Waterloo, University of Waterloo, 08/2019.
, "Autonomous Driving: A Multi-Objective Deep Reinforcement Learning Approach", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, 05/2019.
, "Autonomous Driving: Mapping and Behavior Planning for Crosswalks", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, 09/2019.
, "Bayesian Deep Learning and Uncertainty in Computer Vision", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, 09/2019.
, "Local and Cooperative Autonomous Vehicle Perception from Synthetic Datasets", Computer Science, vol. MMath, Waterloo, University of Waterloo, 09/2019.
, "MLOD: A multi-view 3D object detection based on robust feature fusion method", Computer Science, vol. MMath, Waterloo, University of Waterloo, 09/2019.
, "Motion Planning and Safety for Autonomous Driving", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, 12/2019.
, "Passenger Response to Driving Style in an Autonomous Vehicle", Computer Science, vol. MMath, Waterloo, University of Waterloo, 09/2019.
, "Policy Extraction via Online Q-Value Distillation", Computer Science, vol. MMath, Waterloo, University of Waterloo, 08/2019.
, "Switching GAN-based Image Filters to Improve Perception for Autonomous Driving", Computer Science, vol. MMath, Waterloo, University of Waterloo, 10/2019.
, "Towards Pixel-Level OOD Detection for Semantic Segmentation", Computer Science, vol. MMath, Waterloo, University of Waterloo, 08/2019.
, "Towards Synthetic Dataset Generation for Semantic Segmentation Networks", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, 09/2019.
2018
, "An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain", The 2018 IEEE Intelligent Vehicles Symposium, 2018.
restricted_operational_domain.pdf (402.55 KB)
restricted_operational_domain.pdf (402.55 KB) , "Calibrating Uncertainties in Object Localization Task", Third workshop on Bayesian Deep Learning (NeurIPS 2018), Montréal, Canada., 12/2018.
bdl_workshop_82.pdf (357.72 KB)
bdl_workshop_82.pdf (357.72 KB) , "Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving", International Workshop on Artificial Intelligence Safety Engineering (WAISE), Västerås, Sweden, Springer, 09/2018.
paper.pdf (323.45 KB)
paper.pdf (323.45 KB) , "Unlimited Road-scene Synthetic Annotation (URSA) Dataset", The 21st IEEE International Conference on Intelligent Transportation Systems (ITSC), Maui, Hawaii, USA, IEEE, 11/2018.
1807.06056.pdf (3.28 MB)
1807.06056.pdf (3.28 MB) , "A Hierarchy of Scheduler Classes for Stochastic Automata", 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), vol. 10803, Thessaloniki, Greece, Springer, pp. 384–402, 2018.
, "A Statistical Model Checker for Nondeterminism and Rare Events", 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), vol. 10806, pp. 340–358, 2018.
, "Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems", 6th Conference on Analysis and Design of Hybrid Systems (ADHS 2018), 16, vol. 51, Oxford, United Kingdom, Elsevier, pp. 247–252, 2018.
, "Lightweight Statistical Model Checking in Nondeterministic Continuous Time", 9th International Symposium on Leveraging Applications (ISoLA 2018), vol. 11245, Limassol, Cyprus, Springer, pp. 336–353, 2018.
, "Time-Staging Enhancement of Hybrid System Falsification", IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2018), Porto, Portugal, IEEE, pp. 3–4, 2018.
, "Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE TCAD", ACM International Conference on Embedded Software (EMSOFT 2018), 11, vol. 37, Torino, Italy, IEEE, pp. 2894–2905, 2018.
, "A Study of Feature Scattering in the Linux Kernel", IEEE Transactions on Software Engineering, 2018.
, "Clafer: Lightweight Modeling of Structure and Behaviour", The Art, Science, and Engineering of Programming Journal, vol. 3, issue 1, 07/2018.
PowerWindow example in Clafer (3.45 KB) PowerWindow example in AADL (12.36 KB) PowerWindow example in Live Sequence Charts (51.75 KB) PowerWindow example in SysML (413.76 KB) PowerWindow example in Temporal OCL (9.27 KB)
PowerWindow example in Clafer (3.45 KB) PowerWindow example in AADL (12.36 KB) PowerWindow example in Live Sequence Charts (51.75 KB) PowerWindow example in SysML (413.76 KB) PowerWindow example in Temporal OCL (9.27 KB) , "Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them", Software & Systems Modeling, 01/2018.
, "Group abstraction for assisted navigation of social activities in intelligent environments", Springer Journal of Reliable Intelligent Environments, vol. 4, issue 2, pp. 107–120, 2018.
, "Machine Learning for SAT Solvers", Electrical and Computer Engineering, vol. Doctor of Philosophy, Waterloo, ON, Canada, University of Waterloo, 12/2018.
, "Runtime Restriction of the Operational Design Domain: A Safety Concept for Automated Vehicles", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, 06/2018.
, "Understanding and Enhancing CDCL-based SAT Solvers", Computer Science, vol. PhD, Waterloo, University of Waterloo, 08/2018.
, "Vision Augmented State Estimation with Fault Tolerance", Electrical and Computer Engineering, vol. MASc, Waterloo, University of Waterloo, 05/2018.
2017
, "A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization", Canadian Conference on Artificial Intelligence, 05.2017.
, "Efficient Simulation-based Verification of Probabilistic Timed Automata", Winter Simulation Conference (WSC 2017), Las Vegas, USA, IEEE, pp. 1419–1430, 2017.
, "Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance", Pragmatics of Constraint Reasoning: EPIC, 08/2017.
, "Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability", Design Automation Conference, 06/2017.
, "Trajectory prediction of traffic agents at urban intersections through learned interactions.", 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), 2017.
, "Transferring Performance Prediction Models Across Different Hardware Platforms", International Conference on Performance Engineering, 04/2017.
, "Memory-Efficient Tactics for Randomized LTL Model Checking", 9th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2017), vol. 10712, Heidelberg, Germany, Springer, pp. 152-169, 2017.
, "Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems", 7th Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2017), vol. 11267, Seoul, South Korea, Springer, pp. 109–126, 2017.
, "Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures", Journal of Automated Reasoning, vol. 58, issue 3, pp. 339, 03/2011, 2017.
, "Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", Software and Systems Modeling, 2017.
Jordan Ross seminar slides (long) (2.85 MB) Jordan Ross MODELS'17 invited presentation slides (short) (1.59 MB)
Jordan Ross seminar slides (long) (2.85 MB) Jordan Ross MODELS'17 invited presentation slides (short) (1.59 MB) , "The shape of feature code: an analysis of twenty C-preprocessor-based systems", Software & Systems Modeling, vol. 16, issue 1, pp. 96, 02/2017.
2016
, "Exponential Recency Weighted Average Branching Heuristic for SAT Solvers", AAAI Conference on Artificial Intelligence, 02/2016.
, "MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers", International Joint Conference on Artificial Intelligence - Sister Conference Best Paper Track: AAAI Press, 07/2016.
, "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners", ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 10/2016.
, "Meta-learning Performance Prediction of Highly Configurable Systems: A Cost-oriented Approach", David R. Cheriton School of Computer Science, vol. MMath, Waterloo, University of Waterloo, pp. 71, 04/2016.
2015
, "Cost-efficient sampling for performance prediction of configurable systems", 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015.