Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
AIJ-art.pdf | 2019-11-18 12:40 | 461K | ||
Abate2010.pdf | 2021-09-02 16:08 | 739K | ||
Bacon2016.pdf | 2021-09-03 11:38 | 796K | ||
Bengio2020.pdf | 2021-08-31 13:32 | 435K | ||
Bozkurt2020.pdf | 2021-09-02 15:14 | 577K | ||
DL-SAT.pdf | 2022-05-09 09:57 | 1.4M | ||
GeorgakoPoulousKavvadiasPapdimitriou-ProbSAT-1988.pdf | 2022-06-23 08:19 | 683K | ||
HCPC_husson_josse.pdf | 2021-07-30 07:37 | 277K | ||
Hammond2021.pdf | 2021-09-02 14:44 | 755K | ||
Han2020.pdf | 2021-09-01 10:55 | 388K | ||
HierarchicalReps.pdf | 2021-07-30 07:36 | 1.0M | ||
Hybrid_Controllers_for_Path_Planning_A_Temporal_Lo.pdf | 2021-07-29 08:41 | 292K | ||
Kolda2003.pdf | 2020-12-29 21:41 | 1.0M | ||
Kress-Gazit2009.pdf | 2021-09-04 14:44 | 687K | ||
Kuhn1.pdf | 2021-12-05 18:38 | 368K | ||
LTL_Ashari.pdf | 2021-09-01 11:56 | 621K | ||
LTL_Networks.pdf | 2022-05-03 07:38 | 1.3M | ||
LTL_Notes.pdf | 2022-06-22 12:12 | 363K | ||
LTL_co-safe.pdf | 2022-05-03 12:14 | 569K | ||
LTL_lecture07.pdf | 2021-09-04 15:02 | 108K | ||
LTL_prob.pdf | 2022-05-03 13:10 | 210K | ||
LTL_semantics.pdf | 2022-05-03 07:31 | 1.5M | ||
LTL_semantics_uncertain.pdf | 2022-05-03 07:29 | 624K | ||
LTL_slide3.pdf | 2021-09-01 11:53 | 523K | ||
Loizou2004.pdf | 2021-09-04 14:34 | 432K | ||
MC_convex_polytopes.pdf | 2021-07-18 16:26 | 159K | ||
NILS_TR.pdf | 2022-04-17 19:16 | 777K | ||
N_D_rotations1.pdf | 2021-08-28 10:35 | 292K | ||
Nilsson1986.pdf | 2020-12-28 08:21 | 821K | ||
Non-Euc.pdf | 2021-03-26 07:57 | 1.1M | ||
Non_Euclidean_Geometry.pdf | 2021-07-08 07:39 | 5.1M | ||
OptimalPlanningwithLTL_MIT.pdf | 2022-08-24 12:05 | 5.8M | ||
Prob_LTL.pdf | 2022-05-03 13:06 | 856K | ||
ProbabilisiticLTL.pdf | 2021-08-09 11:30 | 4.8M | ||
README.txt | 2022-06-08 09:14 | 5.2K | ||
Rotations_in_Higher_Dimensions.pdf | 2021-08-28 10:45 | 188K | ||
SAT-NN.pdf | 2022-05-09 09:58 | 4.1M | ||
SAT.tar.gzip | 2022-09-04 15:55 | 45 | ||
SATasRegularExpressions.pdf | 2021-08-16 09:38 | 354K | ||
Sadigh2015.pdf | 2021-09-01 13:12 | 664K | ||
Shu2017.pdf | 2021-09-01 11:58 | 361K | ||
Smith2011.pdf | 2021-09-02 15:26 | 591K | ||
Tabuada.pdf | 2021-09-01 10:55 | 514K | ||
Uhrig2017DepthCNNDL.pdf | 2022-03-12 06:41 | 17M | ||
VAS.pdf | 2021-07-28 14:45 | 133K | ||
Vanderbei2008_Book_LinearProgramming.pdf | 2021-07-24 13:09 | 5.7M | ||
Viswanathan2018.pdf | 2021-09-01 11:56 | 226K | ||
Wolper1983.pdf | 2021-09-04 14:14 | 1.2M | ||
Yoo2013.pdf | 2022-08-24 12:11 | 4.8M | ||
aaai12.pdf | 2021-03-04 14:01 | 188K | ||
adaptive_step.pdf | 2022-05-05 07:26 | 638K | ||
agents2001BDI.pdf | 2022-06-03 17:53 | 95K | ||
aopt11note4.pdf | 2021-12-06 09:48 | 244K | ||
bdia.ppt | 2022-05-23 12:20 | 136K | ||
dselsam_dissertation_final-augmented.pdf | 2021-08-31 13:00 | 4.1M | ||
ipmCrash.pdf | 2021-12-06 07:27 | 153K | ||
pnueli_temporal_1977.pdf | 2021-09-04 13:27 | 1.5M | ||
polyLP.pdf | 2021-08-17 14:33 | 185K | ||
rotationsND.pdf | 2021-08-10 17:13 | 771K | ||