References aaai12: A Tractable First-Order Probabilistic Logic, Domingos & W. Webb Abate2010: Approximate model checking of stochastic hybrid systems, Abate, Katoeny, Lygerosz and Prandinix adaptive_step: "Gradient Descent Revisited" G. Gordon and R. Tibshirani agents2001BDI: "Principles of Intention Reconsideration" M. Schut and M. Wooldridge AIJ-art: Probabilistic sentence satisfiability: An approach to PSAT, tch... aopt11note4: Interior-Point Methods for Linear Programming Bacon2016: The Option-Critic Architecture, Bacon, Harb and Precup bdia: "Belief Desire Intention Agents" J. Blount Bengio2020: Machine Learning for Combinatorial Optimization: a Methodological Tour d’Horizon, Bengio, Lodi and Prouvost Bozkurt2020: Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning, Bozkurt, Wang, Zavlanos, and Pajic DL-SAT: "Machine Learning Methods in Solving the Boolean Satisfiabilty Problem" W. Guo, J. Yan, H-L. Zhen, X. Li, M. Yuan and Y. Jin dselsam_dissertation_final-augmented: NEURAL NETWORKS AND THE SATISFIABILITY PROBLEM, Selsam Hammond2021: Multi-Agent Reinforcement Learning with Temporal Logic Specifications, Hammond, Abate, Gutierrez, Wooldridge Han2020: Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions, Han and Sanfelice HCPC_husson_josse: Principal component methods - hierarchical clustering - partitional clustering: why would we need to choose for visualizing data? Husson, Josse and Pages HierarchicalReps: Maximally Informative Hierarchical Representations of High-Dimensional Data, Steeg and Galstyan Hybrid_Contolers_for_Path_Planning_ : Hybrid Controllers for Path Planning: A Temporal Logic Approach, Finekos, Pappas and Kress-Gazit impCrash: Crash Start of Interior Point Methods, Gondzio Kolda2003: Optimization by Direct Search: New Perspectives on Some Classical and Modern Methods, Kolda, Lewis and Torczon Kress-Gazit2009: Temporal-Logic-Based Reactive Mission and Motion Planning, Kress-Gazit, Fainekos and Pappas Kuhn1: The eight-tetrahedra longest-edge partition and Kuhn triangulations, Plaza Loizou2004: Automatic Synthesis of Multi-Agent Motion Tasks Based on LTL Specications, Loizou and Kyriakopoulos LTL_Ashari: Linear Temporal Logic, Ashari and Habi LTL_control: Control with Probabilistic Signal Temporal Logic, Yoo & Belta LTL_co-safe: Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications, Lacerda, Parker Hawes LTL_lecture07: Buechi Automata, Kumar LTL_Networks: Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks, Kantaros, Guo, Zavlanos LTL_prob: A Monte Carlo Model Checker for Probabilistic LTL with Numerical Constraints, Donaldson and Gilbert LTL_semantics: Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments; Vasilopoulos, Pappas and Kantaros LTL_semantics_uncertain: Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps; Kantaros and Pappas LTL_slide3: Linear Temporal Logic, Artale MC_convex_polytopes: A Monte Carlo Method for High-Dimensional Volume Estimation and Application to Polytopes, Jaekel N_D_rotations1: N-dimensional Rotation Matrix Generation Algorithm, Zhelezov NILS_TR: Using NILS to Solve Probabilistic Satisfiability for CNF Knowledge Bases, Henderson and Cline Nilsson1986: Probabilistic Logic, Nilsson Non_Euclidean_Geometry: Non-Euclidean Simplex Optimization, Silver Non-Euc: Convex Optimization: Algorithms and Complexity, Bubeck pnueli_temporal_1977: The Temporal Logic of Programs, Pneuli polyLP: Polynomiality of Linear Programming, Havet http://www-sop.inria.fr/members/Frederic.Havet/Cours/polyLP.pdf ProbabillisticLTL: Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints, Yoo, Fitch and Sukkarieh Rotations_in_Higher_Dimensions: https://analyticphysics.com/Higher%20Dimensions/Rotations%20in%20Higher%20Dimensions.htm rotationsND: General n-Dimensional Rotations, Aguilera and Pérez-Aguila Sadigh2015: Safe Control under Uncertainty, Sadigh and Kapoor SAT-NN: "Neural Networks and the Satisfiability Problem" D. Selsam SATasRegularExpressions: A finite state intersection approach to propositional satisfiability, Castaño and Castaño Shu2017: A Linear Temporal Logic Based Approach for Vehicle Motion Planning, Shu and Lagoa Smith2011: Optimal Path Planning for Surveillance with Temporal Logic Constraints, Smith, Tumov, Belta and Rus Tabuada: LINEAR TIME LOGIC CONTROL OF DISCRETE-TIME LINEAR SYSTEMS, TABUADA AND PAPPAS Uhrig2017DepthCNNDL: Sparsity Invariant CNNs, Uhrig, Schneider, Schneider, Franke, Brox and Geiger Vanderbei2008_Book_LinearProgramming: Linear Programming, Vanderbei VAS: Verification of Autonomous Systems, Henderson Viswanathan2018: Linear Temporal Logic, Viswanathan Wolper1983: Temporal Logic can be More Expressive, Wolper