Search Results for author:
Found 5 papers, 0 papers with code
Evidential Transactions with Cyberlogic
The key ideas underlying Cyberlogic are extremely simple, as (1) public keys correspond to authorizations, (2) transactions are specified as distributed logic programs, and (3) verifiable evidence is collected by means of distributed proof search.
CoProver: A Recommender System for Proof Construction
We evaluate CoProver on a series of well-established metrics originating from the recommender system and information retrieval communities, respectively.
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
Prior work has demonstrated that machine learning can be useful in determining efficient variable orderings.
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
SOTER provides language primitives to declaratively construct a RTA module consisting of an advanced, high-performance controller (uncertified), a safe, lower-performance controller (certified), and the desired safety specification.
ARSENAL: Automatic Requirements Specification Extraction from Natural Language
Requirements are informal and semi-formal descriptions of the expected behavior of a complex system from the viewpoints of its stakeholders (customers, users, operators, designers, and engineers).
