Skip to content
conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Insights
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Insights
Achievements
Home
›
Keywords
›
property specification language
property specification language
1 paper
Explore in graph
Also known as
PSL
Co-occurring keywords
· papers mentioning both
positive negative example
(1)
formula learning
(1)
sat solver
(1)
temporal logic
(1)
interpretable model
(1)
constraint satisfaction
(1)
Papers
Learning Interpretable Models in the Property Specification Language
IJCAI 2020
<
1
>