74 citations · 212 across the 19 of their papers we have counts for
4 papers · 1 filter
Symbolic Semantics for Probabilistic Programs (extended version)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva +2
We present a new symbolic execution semantics of probabilistic programs that include observe statements and sampling from continuous distributions. Building on Kozen's seminal work…
MROS: A framework for robot self-adaptation
Gustavo Rezende Silva, Darko Bozhinoski, Mario Garzon Oviedo +5
Self-adaptation can be used in robotics to increase system robustness and reliability. This work describes the Metacontrol method for self-adaptation in robotics. Particularly, it…
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots
Amir Ghorbani, Nathan Cassee, Derek Robinson +4
Software bots fulfill an important role in collective software development, and their adoption by developers promises increased productivity. Past research has identified that bots…
Timed I/O Automata: It is never too late to complete your timed specification theory
Martijn A. Goorden, Kim G. Larsen, Axel Legay +3
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design.…