Oded Maler
YOU?
Author Swipe
View article: Elements of Timed Pattern Matching
Elements of Timed Pattern Matching Open
The rise of machine learning and cloud technologies has led to a remarkable influx of data within modern cyber-physical systems. However, extracting meaningful information from this data has become a significant challenge due to its volume…
View article: Learning Pareto Front From Membership Queries
Learning Pareto Front From Membership Queries Open
We present a new method for inferring the Pareto front in multi-criteria optimization problems. The approach is grounded on an algorithm for learning the boundary between valid and invalid configurations of a multi-dimensional space (X). T…
View article: Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071) Open
This report documents the program and the outcomes of Dagstuhl Seminar 19071 "Specification Formalisms for Modern Cyber-Physical Systems." Specifications play a major role in evaluating behaviors of modern cyber-physical systems (CPS). The…
View article: Efficient Parametric Identification for STL
Efficient Parametric Identification for STL Open
International audience
View article: Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)
Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082) Open
This report documents the program and the outcomes of Dagstuhl Seminar 18082 "Formal Methods for the Synthesis of Biomolecular Circuits". Synthetic biology aims for the rational bottom-up engineering of new biological functionalities. Rece…
View article: On the Quantitative Semantics of Regular Expressions over Real-Valued Signals
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals Open
International audience
View article: Learning Monotone Partitions of Partially-Ordered Domains (Work in Progress)
Learning Monotone Partitions of Partially-Ordered Domains (Work in Progress) Open
We present an algorithm for learning the boundary between an upward-closed set X and its downward-closed complement. The algorithm selects sampling points for which it submits membership queries x ∈ X. Based on the answers and relying on m…