IEEE Transactions on Automatic Control Sign in to save
Aachen papers per year
20
21
22
23
25
26
Papers 13
-
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more
13citations
13 results
Most active Aachen authors
-
Christian Ebenbauer 2,149 citations overall6 papers
-
Sebastian Trimpe 2,767 citations overall4 papers
-
Joost-Pieter Katoen 20,330 citations overall2 papers
-
Friedrich Solowjow 176 citations overall2 papers
-
Pierre-François Massiani 16 citations overall2 papers
-
Ufuk Topcu 11,868 citations overall1 paper
-
Christian Fiedler 784 citations overall1 paper
-
Christophe Labar 110 citations overall1 paper
-
Meriem Gharbi 98 citations overall1 paper
-
Steve Heim 97 citations overall1 paper
-
Mona Buisson-Fenet 92 citations overall1 paper
-
Dennis Gramlich 65 citations overall1 paper
-
Chiara Segala 58 citations overall1 paper