Source author record

Thomas Wright

Thomas Wright appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT Logic in Computer Science

Catalog footprint

What is connected

4works

2topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic

Signal Temporal Logic monitoring over numerical simulation traces has emerged as an effective approach to approximate verification of continuous and hybrid systems. In this report we explore an exact verification procedure for STL properties based on monitoring verified traces in the form of Taylor model flowpipes as produced by the Flow* verified integrator. We explore how tight integration with Flow*'s symbolic flowpipe representation can lead to more precise and more efficient monitoring. We then show how the performance of monitoring can be increased substantially by introducing masks, a property-directed refinement of our method which restricts flowpipe monitoring to the time regions relevant to the overall truth of a complex proposition. Finally, we apply our implementation of these methods to verifying properties of a challenging continuous system, evaluating the impact of each aspect of our procedure on monitoring performance.

preprint2015arXiv

Infinitude of $k$-Lehmer numbers which are not Carmichael

In this paper, we prove that there are infinitely many $n$ for which $rad(φ(n))|n-1$ but $n$ is not a Carmichael number. Additionally, we prove that for any $k\geq 3$, there exist infinitely many $n$ such that $φ(n)|(n-1)^k$ but $φ(n)\nmid (n-1)^{k-1}$. The constructs that we consider here are generalizations of Carmichael and Lehmer numbers, respectively, that were first formulated by Grau and Oller-Marcén.

preprint2014arXiv

Variants of Korselt's Criterion

Under sufficiently strong assumptions about the first term in an arithmetic progression, we prove that for any integer $a$, there are infinitely many $n\in \mathbb N$ such that for each prime factor $p|n$, we have $p-a|n-a$. This can be seen as a generalization of Carmichael numbers, which are integers $n$ such that $p-1|n-1$ for every $p|n$.

preprint2012arXiv

Infinitely Many Carmichael Numbers in Arithmetic Progressions

In this paper, we prove that for any $a,M\in \mathbb N$ with $(a,M)=1$, there are infinitely many Carmichael numbers $m$ such that $m\equiv a$ mod $M$