Reduction Techniques for Model Checking and Learning in MDPs

Bharadwaj, Suda; Roux, Stephane Le; Perez, Guillermo A.; Topcu, Ufuk

doi:doi/10.24963/ijcai.2017/597

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Citer

Reduction Techniques for Model Checking and Learning in MDPs

par Bharadwaj, Suda ;Roux, Stephane Le ;Perez, Guillermo A.

;Topcu, Ufuk
Référence Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17, page (4273-4279)
Publication Publié, 2017

Publication dans des actes

Titre:	Reduction Techniques for Model Checking and Learning in MDPs
Auteur:	Bharadwaj, Suda; Roux, Stephane Le; Perez, Guillermo A.; Topcu, Ufuk
Informations sur la publication:	Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17, page (4273-4279)
Statut de publication:	Publié, 2017
Sujet CREF:	Sciences exactes et naturelles
Langue:	Anglais
Identificateurs:	info:doi/10.24963/ijcai.2017/597
	https://doi.org/10.24963/ijcai.2017/597

Documents en relation

DI-fusion

Southern Ocean nutrient repletion and CO2 release at the peak warmth of the Cenozoic
par Moretti, Simone , Fripiat, François , Hain, Mathis M.P. , Luciani, Valeria , Lourens, Luca , Borucki, Paul , Gerber, Lukas , Agterhuis, Tobias , Filippi, Giulia , Schiebel, Ralf , Haug, Gerald H. , Sigman, Daniel M , Martínez-García, Alfredo
Publication 2026-02-22
Ice age and deglacial stratification of the polar Antarctic Zone
par Fripiat, François , Sigman, Daniel M , Ai, Xuyuan Ellen , Dumoulin, Cédric , Moretti, Simone , Studer, Anja S. , Dieckmann, Bernard , Esper, Oliver , Frederichs, Thomas , Lamy, Frank , Liu, Ling , Pattyn, Frank , Schmitt, Mareike , Tiedemann, Ralph , Haug, Gerald H. , Martínez-García, Alfredo
Publication 2026-02-22
Global mean ocean nitrate d18O as a tracer for the supply and recycling of fixed nitrogen in the ocean
par Desmettre, Simon , Dumoulin, Cédric , Coulon, Violaine , Marconi, Dario , Marshall, Tanya , Muller, Sofia , Ryu, J.H. , Wald, Tanja , Martínez-García, Alfredo , Sigman, Daniel M , Fripiat, François
Publication 2026-02-22
Meridional nitrate gradients in the Indian Sector of the Southern Ocean over the last glacial cycle
par Dumoulin, Cédric , Desmettre, Simon , Ai, Xuyuan Ellen , Lacerra, Matthew , Lamy, Frank , Moretti, Simone , Muller, Sofia , Martínez-García, Alfredo , Sigman, Daniel M , Fripiat, François
Publication 2026-02-22
Testing the inbreeding hypothesis of neo-sex-chromosome evolution
par Adams, Maxim , Kikuchi, Kensei , Araki, Soshi , Yashiro, Toshihisa , Mizumoto, Nobuaki , Hellemans, Simon , Baker, Louise , Jex, Aaron , Matsuura, Kenji , Lo, Nathan
Publication 2025-12-03

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.