Clemens Wiltsche

14 papers A 2B 2C 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2018 J jnl
Compositional strategy synthesis for stochastic games with multiple objectives.
Inf. Comput.
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
2018 J jnl
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.
Int. J. Softw. Tools Technol. Transf.
Marta Kwiatkowska, David Parker, Clemens Wiltsche
2016 A conf
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games.
TACAS
Marta Kwiatkowska, David Parker, Clemens Wiltsche
2016 J jnl
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.
IEEE Trans Autom. Sci. Eng.
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
2015 — —
Assume-guarantee strategy synthesis for stochastic games.
Clemens Wiltsche
2015 — conf
Controller synthesis for autonomous systems interacting with human operators.
ICCPS
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
2015 A conf
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.
TACAS
Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche
2014 B conf
Compositional Controller Synthesis for Stochastic Games.
CONCUR
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
2013 J jnl
Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications
CoRR
Clemens Wiltsche
2013 B conf
On Stochastic Games with Multiple Objectives.
MFCS
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
2013 — conf
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving.
QEST
Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
2013 — conf
Synthesis of an asynchronous communication protocol for search and rescue robots.
ECC
Clemens Wiltsche, John Lygeros, Federico Alessandro Ramponi
2012 C conf
Feed-forward parameter identification for precise periodic quadrocopter motions.
ACC
Angela P. Schoellig, Clemens Wiltsche, Raffaello D'Andrea
2012 J jnl
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
CoRR
Clemens Wiltsche, Ufuk Topcu, Richard M. Murray