3 citations · 6 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 1 cited
A Formal Semantics of Findel in Coq (Short Paper)
Andrei Arusoaie
We present the first formal semantics of Findel - a DSL for specifying financial derivatives. The semantics is encoded in Coq, and we use it to prove properties of several Findel c…
cs.AI2019★ 2 cited
Using SMT Solvers to Validate Models for AI Problems
Andrei Arusoaie, Ionut Pistol
Artificial Intelligence problems, ranging form planning/scheduling up to game control, include an essential crucial step: describing a model which accurately defines the problem's…