2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2021★ 2 cited
Conjectures, Tests and Proofs: An Overview of Theory Exploration
Moa Johansson, Nicholas Smallbone
A key component of mathematical reasoning is the ability to formulate interesting conjectures about a problem domain at hand. In this paper, we give a brief overview of a theory ex…
eess.SY2019
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone +3
Cyber-Physical Systems (CPSs) are systems with both physical and software components, for example cars and industrial robots. Since these systems exhibit both discrete and continuo…