Sign in
POPL 2020
Event Home
Implementing a Capability Machine Model into Iris
Sep 17, 2020
|
27 views
ACM SIGPLAN
Follow
Details
Presenter: Aina Linn Georges Presented at PriSC'20, colocated with POPL 2020.
Category: POPL 2020
Comments
loading...
Reactions
(0)
| Note
📝 No reactions yet
Be the first one to share your thoughts!
Reactions
(0)
Note
loading...
Recommended
19:59
ICAPS 2014: Peter Stone on "TEXPLORE: Real-Time Sample-Efficient Reinforcement Learning for Robots"
ICAPS
| Aug 6, 2014
18:02
ICAPS 2014: Ron Alford on "On the Feasibility of Planning Graph Style Heuristics for HTN Planning"
ICAPS
| Aug 6, 2014
22:17
ICAPS 2014: Mike Barley on "Overcoming the Utility Problem in Heuristic Generation: ..."
ICAPS
| Aug 7, 2014
18:33
ICAPS 2014: Stefan Edelkamp on "Symbolic and Explicit Search Hybrid through Perfect Hash Functions"
ICAPS
| Aug 7, 2014
50:27
ICAPS 2012: Invited Talk by Anthony Cohn
ICAPS
| Aug 15, 2014