Karen Rudie | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Stavros Tripakis
14 publications
Nick Mertin
1 publication
Richard Ean
1 publication

research

∙ 01/25/2022

A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems

A syntactic model is presented for the specification of finite-state syn...

0 Nick Mertin, et al. ∙

research

∙ 08/10/2021

Decentralized Observation of Discrete-Event Systems: At Least One Can Tell

We introduce a new decentralized observation condition which we call "at...

0 Stavros Tripakis, et al. ∙