Travelled to:
1 × Austria
2 × Germany
2 × United Kingdom
3 × USA
Collaborated with:
∅ M.Lange V.Raman S.A.Seshia H.Kress-Gazit H.Peter R.Mattmüller
Talks about:
synthesi (6) automata (3) symbol (2) bound (2) determinist (1) increment (1) identifi (1) approxim (1) unbeast (1) synthia (1)
Person: Rüdiger Ehlers
DBLP: Ehlers:R=uuml=diger
Contributed to:
Wrote 9 papers:
- IJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability
- A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.
- VMCAI-2014-EhlersSK #identifier #synthesis
- Synthesis with Identifiers (RE, SAS, HKG), pp. 415–433.
- CAV-2012-Ehlers #ltl #synthesis
- ACTL ∩ LTL Synthesis (RE), pp. 39–54.
- CAV-2011-PeterEM #automaton #named #synthesis #verification
- Synthia: Verification and Synthesis for Timed Automata (HJP, RE, RM), pp. 649–655.
- TACAS-2011-Ehlers #bound #named #synthesis
- Unbeast: Symbolic Bounded Synthesis (RE), pp. 272–275.
- CAV-2010-Ehlers #bound #synthesis
- Symbolic Bounded Synthesis (RE), pp. 365–379.
- LATA-2010-Ehlers #automaton
- Short Witnesses and Accepting Lassos in ω-Automata (RE), pp. 261–272.
- SAT-2010-Ehlers #automaton #satisfiability #using
- Minimising Deterministic Büchi Automata Precisely Using SAT Solving (RE), pp. 326–332.
- CAV-2016-EhlersR #named #synthesis
- Slugs: Extensible GR(1) Synthesis (RE, VR), pp. 333–339.