Search Results for author:
Found 5 papers, 1 papers with code
Differentiable Inference of Temporal Logic Formulas
There is great interest in learning formal specifications that characterize the ideal behavior of such systems -- that is, formulas in temporal logic that are satisfied by the system's output signals.
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations
We develop a formal framework for automatic reasoning about the obligations of autonomous cyber-physical systems, including their social and ethical obligations.
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme
Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft System (UAS) carry out a wide variety of missions (e. g. moving humans and goods within the city), is gaining acceptance as a transportation solution of the future.
Logical Signal Processing: a Fourier Analysis of Temporal Logic
That is, when we monitor a signal against a formula, which frequency bands of the signal are relevant to the logic and should be preserved, and which can be safely discarded?
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
With increasing urban population, there is global interest in Urban Air Mobility (UAM), where hundreds of autonomous Unmanned Aircraft Systems (UAS) execute missions in the airspace above cities.
