Back
  1. Home
  2. Profile of Aaron Bohy (UMONS)
Profil

Bohy Aaron

Main Referenced Co-authors
BRUYERE, Véronique  (10)
Raskin, Jean-François (10)
Filiot, Emmanuel (8)
Jin, Naiyong (4)
Bertrand, Nathalie (1)
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (11)
Main Referenced Disciplines
Electrical & electronics engineering (10)
Computer science (1)
Mathematics (1)

Publications (total 11)

The most cited

91 citations (Scopus®)

Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (2012). Acacia+, a Tool for LTL Synthesis [Paper presentation]. International Conference on Computer Aided Verification, Berkeley, United States - California. https://hdl.handle.net/20.500.12907/18999

Bohy, A., Bruyère, V., Raskin, J.-F., & Bertrand, N. (04 January 2017). Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. Acta Informatica, 54 (6), 545-587.
Peer Reviewed verified by ORBi

Bohy, A., Carlier, P., De Pril, J., Oualhadj, Y., & Randour, M. (2014). Jouer n'est pas qu'un jeu !

Bohy, A., Bruyère, V., & Raskin, J.-F. (2014). Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes [Paper presentation]. Workshop on Synthesis, SYNT, Vienne, Austria.

Bohy, A., Bruyère, V., Raskin, J.-F., & Filiot, E. (19 March 2013). Synthesis from LTL Specifications with Mean-Payoff Objectives [Paper presentation]. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy.

Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (2013). Synthesis from LTL Specifications with Mean-Payoff Objectives [Paper presentation]. International Conference on Tools and Algorithms for Construction and Analysis of Systems, Rome, Italy.

Bohy, A., Bruyère, V., Raskin, J.-F., & Filiot, E. (21 September 2012). Synthesis from LTL specifications with mean-payoff objectives [Paper presentation]. GT Jeux, Cachan, France.

Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (10 July 2012). Acacia+, a Tool for LTL Synthesis [Paper presentation]. CAV - Computer Aided Verification, Berkeley, United States - California.

Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (2012). Acacia+, a Tool for LTL Synthesis [Paper presentation]. International Conference on Computer Aided Verification, Berkeley, United States - California.

Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (07 June 2012). Synthesis from LTL and mean-payoff objectives [Paper presentation]. Quantitative models for verification and synthesis, Bruxelles, Belgium.

Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (06 June 2012). Acacia+, a Tool for LTL Synthesis [Paper presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium.

Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (30 November 2011). Acacia+, a Tool for LTL Synthesis [Paper presentation]. Gasics Meeting, Bruxelles, Belgium.

Contact ORBi UMONS