16 citations · 50 across the 11 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 16 cited
A Benchmarks Library for Extended Parametric Timed Automata
Étienne André, Dylan Marinho, Jaco van de Pol
Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. In order to test the efficiency of new…
cs.AI2021★ 1 cited
Classical Planning as QBF without Grounding (extended version)
Irfansha Shaik, Jaco van de Pol
Most classical planners use grounding as a preprocessing step, essentially reducing planning to propositional logic. However, grounding involves instantiating all action rules with…