Nitin Yadav

Nitin Yadav

University of Melbourne
在 unimelb.edu.au 的电子邮件经过验证
被引用次数：373
Complexity Algorithmic Trading Behavior Composition Agent Oriented Programming Automatic Synthesis
Léo Exibard

Léo Exibard

Assistant professor at LIGM, Université Gustave Eiffel
在 univ-eiffel.fr 的电子邮件经过验证
被引用次数：68
Automatic Synthesis Runtime Verification Automata and Logics Game Theory Data Domains