<--- Back to Details
First PageDocument Content
Stochastic control / Partially observable Markov decision process / Markov decision process / Automated planning and scheduling / Bayesian network / FO / S0 / Finite-state machine / Macro / Statistics / Dynamic programming / Markov processes
Date: 2013-08-29 10:13:42
Stochastic control
Partially observable Markov decision process
Markov decision process
Automated planning and scheduling
Bayesian network
FO
S0
Finite-state machine
Macro
Statistics
Dynamic programming
Markov processes

Exploiting Fully Observable and Deterministic Structures in Goal POMDPs

Add to Reading List

Source URL: www.ida.liu.se

Download Document from Source Website

File Size: 630,90 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Logic / Logic in computer science / Mathematics / Electronic design automation / Formal methods / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Uninterpreted function / Satisfiability / Solver

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo

DocID: 1xUDS - View Document

ie,lsh hq;=hs ;ekam;= ys;du;d úlD;s lsÍï" fjkia lsÍï iy ydks lsÍï isÿlrk ,o jHjydr uqo,a fkdaÜgq lsisjla 2018 wfm%a,a ui 01 jeks Èk isg ms

DocID: 1xUAM - View Document

Please wait... If this message is not eventually replaced by the proper contents of the document, your PDF viewer may not be able to display this type of document. You can upgrade to the latest version of Adobe Reader fo

DocID: 1xUfj - View Document

Mathematical logic / Logic / Quantification / Complexity classes / Finite model theory / Mathematics / Predicate logic / Philosophical logic / Quantifier / FO / Universal quantification / Well-formed formula

Motivation FO-LTLf Slicing

DocID: 1xTVL - View Document

Franklin County / Franklin College / Franklin

Franklin County Opiate Crisis Summit Franklin County Prosecutor Ron O’Brien took part in the Franklin County Opiate Crisis Summit coordinated by the Franklin County Coroner Dr. Anahi Ortiz and the Opiate Crisis Task Fo

DocID: 1xTR6 - View Document