Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in

Source URL: www.cs.purdue.edu

• Finite automata
• Abstract algebra
• Algebra
• Finite-state transducer
• Mathematics
• Theoretical computer science
• Finite-state machine
• Semigroup action
• Kazhdan's property
• Tree transducer

Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London

Source URL: icaps16.icaps-conference.org

• Probability and statistics
• Mathematical analysis
• Probability theory
• Measurement
• Automated planning and scheduling
• Planning Domain Definition Language
• Confidence interval
• Heuristic
• Normal distribution
• Uncertainty

In Pursuit of Error: A Survey of Uncertainty Visualization Evaluation Jessica Hullman, Xiaoli Qiao, Michael Correll, Alex Kale, Matthew Kay Abstract—Understanding and accounting for uncertainty is critical to effective

Source URL: idl.cs.washington.edu

Quantifying information and uncertainty Alexander Frankel and Emir Kamenica∗ University of Chicago JuneAbstract

Source URL: faculty.chicagobooth.edu

• Mathematical analysis
• Thermodynamics
• Mathematics
• Entropy
• Information theory
• Statistical randomness
• KullbackLeibler divergence
• Omega
• Analysis
• Info-gap decision theory
• Sobolev spaces for planar domains

Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada.

Source URL: icaps16.icaps-conference.org

• Finite automata
• Temporal logic
• Automated planning and scheduling
• Linear temporal logic
• Theoretical computer science
• Neuropsychology
• Computational complexity theory
• Model checking
• Deterministic finite automaton
• Finite-state machine
• Nondeterministic finite automaton
• Algorithm

Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Prediction and Uncertainty Quantification of Daily Airport Flight Delays Thomas Vandal

Source URL: proceedings.mlr.press

• Artificial neural networks
• Computational neuroscience
• Applied mathematics
• Statistics
• Probability and statistics
• Computational statistics
• Long short-term memory
• Recurrent neural network
• Rnn
• Forecasting
• Deep learning
• Artificial intelligence

Slaying Uncertainty Assessing the contribution of insurance to the M&A process Virtual Round Table Series M&A Working Group 2018

Source URL: www.irglobal.com

• Economy
• Finance
• Money
• Contract law
• Escrow
• Personal finance
• Real property law
• Investment
• Insurance
• Warranty
• Mergers and acquisitions
• Indemnity

Dissertation Abstract: Exploiting Symmetries in Sequential Decision Making under Uncertainty Ankit Anand Indian Institute of Technology, Delhi New Delhi,India

Source URL: icaps16.icaps-conference.org

• Statistical randomness
• Metaphysics
• Free software
• Game artificial intelligence
• Dynamic programming
• Markov processes
• Stochastic control
• Rondebosch
• University of Cape Town
• Monte Carlo tree search
• Abstraction
• Markov decision process

Introduction Verifying a Robot Swarm Algorithm Dealing with Uncertainty

Source URL: cgi.csc.liv.ac.uk

• Aquatic ecology
• Behavior
• Crowds
• Fisheries
• Swarm behaviour
• Zoology
• Swarm robotics
• Robot
• Model checking
• Swarm
• Metaphysics
• Action philosophy)

Cost-Sharing Methods for Scheduling Games under Uncertainty

Source URL: www.cs.drexel.edu

• Game theory
• Price of anarchy
• Price of stability
• Communication protocol
• Cost-sharing mechanism
• IP
• Cooperative game theory
• Congestion game
• Nash equilibrium