Search for persons
X
?
Taming the Infinities of Concurrency; Lecture Notes in Computer Science ,
1
A Summary and Personal Perspective on Recent Advances in Pr..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
6
Qualitative Controller Synthesis for Consumption Markov Dec..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
7
Deciding Fast Termination for Probabilistic VASS with Nonde..:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
8
Strategy Representation by Decision Trees with Linear Class..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification; Lecture Notes in Computer Science ,
9
Monte Carlo Tree Search for Verifying Reachability in Marko..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
10
Strategy Representation by Decision Trees in Reactive Synth..:
, In:
?
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science ,
11
Efficient Algorithms for Asymptotic Bounds on Termination T..:
, In:
?
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems ,
14