( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods.

, , , и . AAMAS, стр. 1354-1362. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jean-François Stumper

Jean-François Viaud

Jean-François Paillotin

Jean François Savoie

Jean-François Hren

 

Другие публикации лиц с тем же именем

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking., , , , , и . IEEE Trans. Software Eng., 39 (8): 1069-1089 (2013)Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS., , и . FSTTCS, том 3328 из Lecture Notes in Computer Science, стр. 287-298. Springer, (2004)On the Verification of Concurrent, Asynchronous Programs with Waiting Queues., , и . ACM Trans. Embed. Comput. Syst., 14 (3): 58:1-58:26 (2015)Axioms for real-time logics., , и . Theor. Comput. Sci., 274 (1-2): 151-182 (2002)Secure equilibria in weighted games., , и . CSL-LICS, стр. 26:1-26:26. ACM, (2014)Abstract Interpretation of Game Properties., , , и . SAS, том 1824 из Lecture Notes in Computer Science, стр. 220-239. Springer, (2000)A Game-Based Verification of Non-repudiation and Fair Exchange Protocols., и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 551-565. Springer, (2001)On the Efficient Computation of the Minimal Coverability Set for Petri Nets., , и . ATVA, том 4762 из Lecture Notes in Computer Science, стр. 98-113. Springer, (2007)On Optimal Timed Strategies., , и . FORMATS, том 3829 из Lecture Notes in Computer Science, стр. 49-64. Springer, (2005)Model-Checking for Weighted Timed Automata., , и . FORMATS/FTRTFT, том 3253 из Lecture Notes in Computer Science, стр. 277-292. Springer, (2004)