Travelled to:1 × Australia
1 × Hungary
Collaborated with:J.Raskin P.Ganty M.D.Wulf L.Doyen
Talks about:altern (2) antichain (1) algorithm (1) fixpoint (1) automata (1) abstract (1) satisfi (1) refin (1) model (1) check (1)
Person: Nicolas Maquet
DBLP: Maquet:Nicolas
Contributed to:
2009
2008Wrote 2 papers:
- CIAA-2009-GantyMR #abstraction #automaton #fixpoint #refinement
- Fixpoint Guided Abstraction Refinement for Alternating Automata (PG, NM, JFR), pp. 155–164.
- TACAS-2008-WulfDMR #algorithm #anti #ltl #model checking #named #satisfiability
- Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking (MDW, LD, NM, JFR), pp. 63–77.